Logic and Rational Languages of Words Indexed by Linear Orderings
From MaRDI portal
Publication:3503626
DOI10.1007/978-3-540-79709-8_11zbMath1142.03346OpenAlexW1629553608MaRDI QIDQ3503626
Alexis Bès, Olivier Carton, Chloé Rispal, Nicolas Bedon
Publication date: 5 June 2008
Published in: Computer Science – Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-79709-8_11
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items (5)
Factorization forests for infinite words and applications to countable scattered linear orderings ⋮ Büchi context-free languages ⋮ Temporal logics over linear time domains are in PSPACE ⋮ Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings ⋮ MSO-definable Properties of Muller Context-Free Languages Are Decidable
This page was built for publication: Logic and Rational Languages of Words Indexed by Linear Orderings
