Matches in SemOpenAlex for { <https://semopenalex.org/work/W1629553608> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1629553608 endingPage "85" @default.
- W1629553608 startingPage "76" @default.
- W1629553608 abstract "We prove that every rational language of words indexed by linear orderings is definable in monadic second-order logic. We also show that the converse is true for the class of languages indexed by countable scattered linear orderings, but false in the general case. As a corollary we prove that the inclusion problem for rational languages of words indexed by countable linear orderings is decidable." @default.
- W1629553608 created "2016-06-24" @default.
- W1629553608 creator A5009982657 @default.
- W1629553608 creator A5025290597 @default.
- W1629553608 creator A5030278621 @default.
- W1629553608 creator A5088192602 @default.
- W1629553608 date "2008-05-13" @default.
- W1629553608 modified "2023-10-16" @default.
- W1629553608 title "Logic and Rational Languages of Words Indexed by Linear Orderings" @default.
- W1629553608 cites W1493647335 @default.
- W1629553608 cites W1496394707 @default.
- W1629553608 cites W1515896300 @default.
- W1629553608 cites W1533496401 @default.
- W1629553608 cites W1544950474 @default.
- W1629553608 cites W1551052969 @default.
- W1629553608 cites W1587340481 @default.
- W1629553608 cites W1606946808 @default.
- W1629553608 cites W1816620374 @default.
- W1629553608 cites W1968086929 @default.
- W1629553608 cites W1987027130 @default.
- W1629553608 cites W2006097526 @default.
- W1629553608 cites W2020558489 @default.
- W1629553608 cites W2032475218 @default.
- W1629553608 cites W2056871658 @default.
- W1629553608 cites W2062792526 @default.
- W1629553608 cites W2116250539 @default.
- W1629553608 cites W4205178514 @default.
- W1629553608 cites W4240244556 @default.
- W1629553608 doi "https://doi.org/10.1007/978-3-540-79709-8_11" @default.
- W1629553608 hasPublicationYear "2008" @default.
- W1629553608 type Work @default.
- W1629553608 sameAs 1629553608 @default.
- W1629553608 citedByCount "12" @default.
- W1629553608 countsByYear W16295536082012 @default.
- W1629553608 countsByYear W16295536082013 @default.
- W1629553608 countsByYear W16295536082016 @default.
- W1629553608 crossrefType "book-chapter" @default.
- W1629553608 hasAuthorship W1629553608A5009982657 @default.
- W1629553608 hasAuthorship W1629553608A5025290597 @default.
- W1629553608 hasAuthorship W1629553608A5030278621 @default.
- W1629553608 hasAuthorship W1629553608A5088192602 @default.
- W1629553608 hasBestOaLocation W16295536085 @default.
- W1629553608 hasConcept C110729354 @default.
- W1629553608 hasConcept C118615104 @default.
- W1629553608 hasConcept C153269930 @default.
- W1629553608 hasConcept C154945302 @default.
- W1629553608 hasConcept C2524010 @default.
- W1629553608 hasConcept C2776809875 @default.
- W1629553608 hasConcept C2777212361 @default.
- W1629553608 hasConcept C2780012671 @default.
- W1629553608 hasConcept C33923547 @default.
- W1629553608 hasConcept C41008148 @default.
- W1629553608 hasConceptScore W1629553608C110729354 @default.
- W1629553608 hasConceptScore W1629553608C118615104 @default.
- W1629553608 hasConceptScore W1629553608C153269930 @default.
- W1629553608 hasConceptScore W1629553608C154945302 @default.
- W1629553608 hasConceptScore W1629553608C2524010 @default.
- W1629553608 hasConceptScore W1629553608C2776809875 @default.
- W1629553608 hasConceptScore W1629553608C2777212361 @default.
- W1629553608 hasConceptScore W1629553608C2780012671 @default.
- W1629553608 hasConceptScore W1629553608C33923547 @default.
- W1629553608 hasConceptScore W1629553608C41008148 @default.
- W1629553608 hasLocation W16295536081 @default.
- W1629553608 hasLocation W16295536082 @default.
- W1629553608 hasLocation W16295536083 @default.
- W1629553608 hasLocation W16295536084 @default.
- W1629553608 hasLocation W16295536085 @default.
- W1629553608 hasOpenAccess W1629553608 @default.
- W1629553608 hasPrimaryLocation W16295536081 @default.
- W1629553608 hasRelatedWork W1994483064 @default.
- W1629553608 hasRelatedWork W2030373262 @default.
- W1629553608 hasRelatedWork W2053762111 @default.
- W1629553608 hasRelatedWork W2067699663 @default.
- W1629553608 hasRelatedWork W2094354112 @default.
- W1629553608 hasRelatedWork W2101752691 @default.
- W1629553608 hasRelatedWork W2140392112 @default.
- W1629553608 hasRelatedWork W2156140706 @default.
- W1629553608 hasRelatedWork W4236854827 @default.
- W1629553608 hasRelatedWork W4297670065 @default.
- W1629553608 isParatext "false" @default.
- W1629553608 isRetracted "false" @default.
- W1629553608 magId "1629553608" @default.
- W1629553608 workType "book-chapter" @default.