scientific article
From MaRDI portal
Publication:3172381
zbMath1246.03056MaRDI QIDQ3172381
Erich Grädel, Sasha Rubin, Vince Bárány
Publication date: 5 October 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Specification and verification (program logics, model checking, etc.) (68Q60) Model theory of finite structures (03C13)
Related Items (6)
Second-order finite automata ⋮ Isomorphisms of scattered automatic linear orders ⋮ Unnamed Item ⋮ The isomorphism problem for tree-automatic ordinals with addition ⋮ Tree-Automatic Well-Founded Trees ⋮ On decidability of list structures
This page was built for publication:
