Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952075952> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2952075952 abstract "This paper is concerned with Freeze LTL, a temporal logic on data words with registers. In a (multi-attributed) data word each position carries a letter from a finite alphabet and assigns a data value to a fixed, finite set of attributes. The satisfiability problem of Freeze LTL is undecidable if more than one register is available or tuples of data values can be stored and compared arbitrarily. Starting from the decidable one-register fragment we propose an extension that allows for specifying a dependency relation on attributes. This restricts in a flexible way how collections of attribute values can be stored and compared. This conceptual dimension is orthogonal to the number of registers or the available temporal operators. The extension is strict. Admitting arbitrary dependency relations satisfiability becomes undecidable. Tree-like relations, however, induce a family of decidable fragments escalating the ordinal-indexed hierarchy of fast-growing complexity classes, a recently introduced framework for non-primitive recursive complexities. This results in completeness for the class ${bf F}_{epsilon_0}$. We employ nested counter systems and show that they relate to the hierarchy in terms of the nesting depth." @default.
- W2952075952 created "2019-06-27" @default.
- W2952075952 creator A5064112443 @default.
- W2952075952 creator A5079870112 @default.
- W2952075952 date "2015-04-23" @default.
- W2952075952 modified "2023-09-27" @default.
- W2952075952 title "On Freeze LTL with Ordered Attributes" @default.
- W2952075952 cites W1593085476 @default.
- W2952075952 cites W1602384540 @default.
- W2952075952 cites W1738870074 @default.
- W2952075952 cites W1862276852 @default.
- W2952075952 cites W1965282409 @default.
- W2952075952 cites W2002089154 @default.
- W2952075952 cites W2030263557 @default.
- W2952075952 cites W2102447986 @default.
- W2952075952 cites W2170352409 @default.
- W2952075952 cites W2951612118 @default.
- W2952075952 cites W3125224867 @default.
- W2952075952 hasPublicationYear "2015" @default.
- W2952075952 type Work @default.
- W2952075952 sameAs 2952075952 @default.
- W2952075952 citedByCount "0" @default.
- W2952075952 crossrefType "posted-content" @default.
- W2952075952 hasAuthorship W2952075952A5064112443 @default.
- W2952075952 hasAuthorship W2952075952A5079870112 @default.
- W2952075952 hasConcept C112505250 @default.
- W2952075952 hasConcept C11413529 @default.
- W2952075952 hasConcept C118615104 @default.
- W2952075952 hasConcept C118930307 @default.
- W2952075952 hasConcept C153269930 @default.
- W2952075952 hasConcept C162324750 @default.
- W2952075952 hasConcept C168773769 @default.
- W2952075952 hasConcept C176053320 @default.
- W2952075952 hasConcept C192034797 @default.
- W2952075952 hasConcept C199360897 @default.
- W2952075952 hasConcept C2776235265 @default.
- W2952075952 hasConcept C2778029271 @default.
- W2952075952 hasConcept C2778583254 @default.
- W2952075952 hasConcept C31170391 @default.
- W2952075952 hasConcept C33923547 @default.
- W2952075952 hasConcept C34447519 @default.
- W2952075952 hasConcept C41008148 @default.
- W2952075952 hasConcept C42475967 @default.
- W2952075952 hasConcept C80444323 @default.
- W2952075952 hasConcept C87345402 @default.
- W2952075952 hasConceptScore W2952075952C112505250 @default.
- W2952075952 hasConceptScore W2952075952C11413529 @default.
- W2952075952 hasConceptScore W2952075952C118615104 @default.
- W2952075952 hasConceptScore W2952075952C118930307 @default.
- W2952075952 hasConceptScore W2952075952C153269930 @default.
- W2952075952 hasConceptScore W2952075952C162324750 @default.
- W2952075952 hasConceptScore W2952075952C168773769 @default.
- W2952075952 hasConceptScore W2952075952C176053320 @default.
- W2952075952 hasConceptScore W2952075952C192034797 @default.
- W2952075952 hasConceptScore W2952075952C199360897 @default.
- W2952075952 hasConceptScore W2952075952C2776235265 @default.
- W2952075952 hasConceptScore W2952075952C2778029271 @default.
- W2952075952 hasConceptScore W2952075952C2778583254 @default.
- W2952075952 hasConceptScore W2952075952C31170391 @default.
- W2952075952 hasConceptScore W2952075952C33923547 @default.
- W2952075952 hasConceptScore W2952075952C34447519 @default.
- W2952075952 hasConceptScore W2952075952C41008148 @default.
- W2952075952 hasConceptScore W2952075952C42475967 @default.
- W2952075952 hasConceptScore W2952075952C80444323 @default.
- W2952075952 hasConceptScore W2952075952C87345402 @default.
- W2952075952 hasLocation W29520759521 @default.
- W2952075952 hasOpenAccess W2952075952 @default.
- W2952075952 hasPrimaryLocation W29520759521 @default.
- W2952075952 hasRelatedWork W1666446684 @default.
- W2952075952 hasRelatedWork W1957750398 @default.
- W2952075952 hasRelatedWork W2007497378 @default.
- W2952075952 hasRelatedWork W2036259651 @default.
- W2952075952 hasRelatedWork W2037019297 @default.
- W2952075952 hasRelatedWork W2049863790 @default.
- W2952075952 hasRelatedWork W2104238929 @default.
- W2952075952 hasRelatedWork W2205883199 @default.
- W2952075952 hasRelatedWork W2219723783 @default.
- W2952075952 hasRelatedWork W2302148645 @default.
- W2952075952 hasRelatedWork W2342152646 @default.
- W2952075952 hasRelatedWork W2466397727 @default.
- W2952075952 hasRelatedWork W2563722128 @default.
- W2952075952 hasRelatedWork W2897518291 @default.
- W2952075952 hasRelatedWork W2910371329 @default.
- W2952075952 hasRelatedWork W2950054921 @default.
- W2952075952 hasRelatedWork W2952046824 @default.
- W2952075952 hasRelatedWork W2952682936 @default.
- W2952075952 hasRelatedWork W3127328961 @default.
- W2952075952 hasRelatedWork W2129370633 @default.
- W2952075952 isParatext "false" @default.
- W2952075952 isRetracted "false" @default.
- W2952075952 magId "2952075952" @default.
- W2952075952 workType "article" @default.