Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952014037> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2952014037 abstract "We study temporal logics and automata on multi-attributed data words. Recently, BD-LTL was introduced as a temporal logic on data words extending LTL by navigation along positions of single data values. As allowing for navigation wrt. tuples of data values renders the logic undecidable, we introduce ND-LTL, an extension of BD-LTL by a restricted form of tuple-navigation. While complete ND-LTL is still undecidable, the two natural fragments allowing for either future or past navigation along data values are shown to be Ackermann-hard, yet decidability is obtained by reduction to nested multi-counter systems. To this end, we introduce and study nested variants of data automata as an intermediate model simplifying the constructions. To complement these results we show that imposing the same restrictions on BD-LTL yields two 2ExpSpace-complete fragments while satisfiability for the full logic is known to be as hard as reachability in Petri nets." @default.
- W2952014037 created "2019-06-27" @default.
- W2952014037 creator A5002397514 @default.
- W2952014037 creator A5054351430 @default.
- W2952014037 creator A5064112443 @default.
- W2952014037 creator A5079870112 @default.
- W2952014037 date "2014-04-24" @default.
- W2952014037 modified "2023-09-25" @default.
- W2952014037 title "Ordered Navigation on Multi-attributed Data Words" @default.
- W2952014037 cites W1595979400 @default.
- W2952014037 cites W2073614038 @default.
- W2952014037 hasPublicationYear "2014" @default.
- W2952014037 type Work @default.
- W2952014037 sameAs 2952014037 @default.
- W2952014037 citedByCount "0" @default.
- W2952014037 crossrefType "posted-content" @default.
- W2952014037 hasAuthorship W2952014037A5002397514 @default.
- W2952014037 hasAuthorship W2952014037A5054351430 @default.
- W2952014037 hasAuthorship W2952014037A5064112443 @default.
- W2952014037 hasAuthorship W2952014037A5079870112 @default.
- W2952014037 hasConcept C110251889 @default.
- W2952014037 hasConcept C112505250 @default.
- W2952014037 hasConcept C11413529 @default.
- W2952014037 hasConcept C118615104 @default.
- W2952014037 hasConcept C118930307 @default.
- W2952014037 hasConcept C136643341 @default.
- W2952014037 hasConcept C153269930 @default.
- W2952014037 hasConcept C168773769 @default.
- W2952014037 hasConcept C192034797 @default.
- W2952014037 hasConcept C199360897 @default.
- W2952014037 hasConcept C25016198 @default.
- W2952014037 hasConcept C2777669093 @default.
- W2952014037 hasConcept C2778029271 @default.
- W2952014037 hasConcept C33923547 @default.
- W2952014037 hasConcept C38677869 @default.
- W2952014037 hasConcept C41008148 @default.
- W2952014037 hasConcept C4777664 @default.
- W2952014037 hasConcept C80444323 @default.
- W2952014037 hasConceptScore W2952014037C110251889 @default.
- W2952014037 hasConceptScore W2952014037C112505250 @default.
- W2952014037 hasConceptScore W2952014037C11413529 @default.
- W2952014037 hasConceptScore W2952014037C118615104 @default.
- W2952014037 hasConceptScore W2952014037C118930307 @default.
- W2952014037 hasConceptScore W2952014037C136643341 @default.
- W2952014037 hasConceptScore W2952014037C153269930 @default.
- W2952014037 hasConceptScore W2952014037C168773769 @default.
- W2952014037 hasConceptScore W2952014037C192034797 @default.
- W2952014037 hasConceptScore W2952014037C199360897 @default.
- W2952014037 hasConceptScore W2952014037C25016198 @default.
- W2952014037 hasConceptScore W2952014037C2777669093 @default.
- W2952014037 hasConceptScore W2952014037C2778029271 @default.
- W2952014037 hasConceptScore W2952014037C33923547 @default.
- W2952014037 hasConceptScore W2952014037C38677869 @default.
- W2952014037 hasConceptScore W2952014037C41008148 @default.
- W2952014037 hasConceptScore W2952014037C4777664 @default.
- W2952014037 hasConceptScore W2952014037C80444323 @default.
- W2952014037 hasLocation W29520140371 @default.
- W2952014037 hasOpenAccess W2952014037 @default.
- W2952014037 hasPrimaryLocation W29520140371 @default.
- W2952014037 hasRelatedWork W1592306554 @default.
- W2952014037 hasRelatedWork W1738870074 @default.
- W2952014037 hasRelatedWork W1862276852 @default.
- W2952014037 hasRelatedWork W1965282409 @default.
- W2952014037 hasRelatedWork W1966723394 @default.
- W2952014037 hasRelatedWork W2036684363 @default.
- W2952014037 hasRelatedWork W20458949 @default.
- W2952014037 hasRelatedWork W2127162145 @default.
- W2952014037 hasRelatedWork W2268240119 @default.
- W2952014037 hasRelatedWork W2541000207 @default.
- W2952014037 hasRelatedWork W2594205029 @default.
- W2952014037 hasRelatedWork W2767756541 @default.
- W2952014037 hasRelatedWork W2796990656 @default.
- W2952014037 hasRelatedWork W2806135590 @default.
- W2952014037 hasRelatedWork W2887835352 @default.
- W2952014037 hasRelatedWork W2952059577 @default.
- W2952014037 hasRelatedWork W2963712282 @default.
- W2952014037 hasRelatedWork W3104559464 @default.
- W2952014037 hasRelatedWork W32620562 @default.
- W2952014037 hasRelatedWork W825655794 @default.
- W2952014037 isParatext "false" @default.
- W2952014037 isRetracted "false" @default.
- W2952014037 magId "2952014037" @default.
- W2952014037 workType "article" @default.