scientific article; zbMATH DE number 5954203
From MaRDI portal
Publication:3172381
zbMATH Open1246.03056MaRDI QIDQ3172381FDOQ3172381
Erich Grädel, Sasha Rubin, Vince Bárány
Publication date: 5 October 2011
Title of this publication is not available (Why is that?)
Formal languages and automata (68Q45) Model theory of finite structures (03C13) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Algebraic theory of languages and automata (68Q70)
Cited In (10)
- Title not available (Why is that?)
- Finite presentations of infinite structures: Automata and interpretations
- Second-order finite automata
- Isomorphisms of scattered automatic linear orders
- The isomorphism problem for tree-automatic ordinals with addition
- Tree-Automatic Well-Founded Trees
- Automata Presenting Structures: A Survey of the Finite String Case
- On decidability of list structures
- Automata-based Representations for Infinite Graphs
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172381)
