Automata-based presentations of infinite structures

zbMATH Open1246.03056MaRDI QIDQ3172381FDOQ3172381

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

Publication date: 5 October 2011

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

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)

Cited In (12)

• 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
• 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
• Title not available (Why is that?)

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)