Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108346992> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2108346992 abstract "Over finite words, languages of dot-depth one are expressively complete for alternation-free first-order logic. This fragment is also known as the Boolean closure of existential first-order logic. Here, the atomic formulas comprise order, successor, minimum, and maximum predicates. Knast (1983) has shown that it is decidable whether a language has dot-depth one. We extend Knast's result to infinite words. In particular, we describe the class of languages definable in alternation-free first-order logic over infinite words, and we give an effective characterization of this fragment. This characterization has two components. The first component is identical to Knast's algebraic property for finite words and the second component is a topological property, namely being a Boolean combination of Cantor sets. As an intermediate step we consider finite and infinite words simultaneously. We then obtain the results for infinite words as well as for finite words as special cases. In particular, we give a new proof of Knast's Theorem on languages of dot-depth one over finite words." @default.
- W2108346992 created "2016-06-24" @default.
- W2108346992 creator A5055386769 @default.
- W2108346992 creator A5069132150 @default.
- W2108346992 date "2011-06-01" @default.
- W2108346992 modified "2023-09-25" @default.
- W2108346992 title "Languages of Dot-Depth One over Infinite Words" @default.
- W2108346992 cites W1494501847 @default.
- W2108346992 cites W1511995922 @default.
- W2108346992 cites W1528576155 @default.
- W2108346992 cites W1540999307 @default.
- W2108346992 cites W1560050980 @default.
- W2108346992 cites W1578498199 @default.
- W2108346992 cites W1612453857 @default.
- W2108346992 cites W1708589781 @default.
- W2108346992 cites W200063938 @default.
- W2108346992 cites W2013085432 @default.
- W2108346992 cites W2015360324 @default.
- W2108346992 cites W2017081972 @default.
- W2108346992 cites W2019522567 @default.
- W2108346992 cites W2038638040 @default.
- W2108346992 cites W2039934838 @default.
- W2108346992 cites W2064373707 @default.
- W2108346992 cites W2065599266 @default.
- W2108346992 cites W2065930159 @default.
- W2108346992 cites W2076872551 @default.
- W2108346992 cites W2078174437 @default.
- W2108346992 cites W2095689360 @default.
- W2108346992 cites W2116250539 @default.
- W2108346992 cites W2122269913 @default.
- W2108346992 cites W2131159347 @default.
- W2108346992 cites W2139845245 @default.
- W2108346992 cites W4210981569 @default.
- W2108346992 cites W74642014 @default.
- W2108346992 cites W90483773 @default.
- W2108346992 doi "https://doi.org/10.1109/lics.2011.24" @default.
- W2108346992 hasPublicationYear "2011" @default.
- W2108346992 type Work @default.
- W2108346992 sameAs 2108346992 @default.
- W2108346992 citedByCount "7" @default.
- W2108346992 countsByYear W21083469922012 @default.
- W2108346992 countsByYear W21083469922014 @default.
- W2108346992 countsByYear W21083469922015 @default.
- W2108346992 countsByYear W21083469922016 @default.
- W2108346992 crossrefType "proceedings-article" @default.
- W2108346992 hasAuthorship W2108346992A5055386769 @default.
- W2108346992 hasAuthorship W2108346992A5069132150 @default.
- W2108346992 hasBestOaLocation W21083469922 @default.
- W2108346992 hasConcept C154945302 @default.
- W2108346992 hasConcept C41008148 @default.
- W2108346992 hasConceptScore W2108346992C154945302 @default.
- W2108346992 hasConceptScore W2108346992C41008148 @default.
- W2108346992 hasLocation W21083469921 @default.
- W2108346992 hasLocation W21083469922 @default.
- W2108346992 hasLocation W21083469923 @default.
- W2108346992 hasOpenAccess W2108346992 @default.
- W2108346992 hasPrimaryLocation W21083469921 @default.
- W2108346992 hasRelatedWork W2093578348 @default.
- W2108346992 hasRelatedWork W2350741829 @default.
- W2108346992 hasRelatedWork W2358668433 @default.
- W2108346992 hasRelatedWork W2376932109 @default.
- W2108346992 hasRelatedWork W2382290278 @default.
- W2108346992 hasRelatedWork W2390279801 @default.
- W2108346992 hasRelatedWork W2748952813 @default.
- W2108346992 hasRelatedWork W2899084033 @default.
- W2108346992 hasRelatedWork W3004735627 @default.
- W2108346992 hasRelatedWork W3107474891 @default.
- W2108346992 isParatext "false" @default.
- W2108346992 isRetracted "false" @default.
- W2108346992 magId "2108346992" @default.
- W2108346992 workType "article" @default.