Publication:4779147
From MaRDI portal
zbMath0999.68100MaRDI QIDQ4779147
Véronique Bruyère, Olivier Carton
Publication date: 25 November 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2136/21360236
68Q45: Formal languages and automata
Related Items
AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS, Axiomatizing omega and omega-op powers of words, On Reachability Games of Ordinal Length, Temporal logics over linear time domains are in PSPACE, Factorization forests for infinite words and applications to countable scattered linear orderings, Automata on linear orderings, Logic and rational languages of words indexed by linear orderings, The equational theory of regular words, Complementation of rational sets on scattered linear orderings of finite rank, Tree Automata and Automata on Linear Orderings