scientific article; zbMATH DE number 1834651
From MaRDI portal
Publication:4779147
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Factorization forests for infinite words and applications to countable scattered linear orderings ⋮ Complementation of rational sets on scattered linear orderings of finite rank ⋮ Automata on linear orderings ⋮ Axiomatizing omega and omega-op powers of words ⋮ Temporal logics over linear time domains are in PSPACE ⋮ The equational theory of regular words ⋮ Logic and rational languages of words indexed by linear orderings ⋮ On Reachability Games of Ordinal Length ⋮ AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS ⋮ Tree Automata and Automata on Linear Orderings
This page was built for publication: