Automata-based presentations of infinite structures

MaRDI QIDQ3172381zbMATH OpenFDO

Authors Vince Bárány, Erich Grädel, Sasha Rubin

Publication date 5 October 2011

zbMATH Keywords

model checkingautomatamonadic second-order logic

Mathematics Subject Classification ID

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)

Recommendations

• Finite presentations of infinite structures: Automata and interpretations
• scientific article; zbMATH DE number 5872401
• Finite Automata and the Analysis of Infinite Transition Systems
• Automata Presenting Structures: A Survey of the Finite String Case
• Automata-based Representations for Infinite Graphs

Cited in

(13)

• A class of rational trace relations closed under composition
• scientific article; zbMATH DE number 2087217 (Why is no real title available?)
• 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
• Survey on formal models to reason about infinite data values
• Tree-automatic well-founded trees
• Model checking CTL over restricted classes of automatic structures
• Automata Presenting Structures: A Survey of the Finite String Case
• On decidability of list structures
• Automata-based Representations for Infinite Graphs
• scientific article; zbMATH DE number 7533328 (Why is no real title available?)

This page was built for publication: Automata-based presentations of infinite structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172381)