Fly-Automata, Their Properties and Applications

DOI10.1007/978-3-642-22256-6_24zbMath1297.68117OpenAlexW202626244MaRDI QIDQ5200070

Irène Durand

Publication date: 29 July 2011

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22256-6_24

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (2)

Practical algorithms for MSO model-checking on tree-decomposable graphs ⋮ Fly-automata for checking \(\mathrm{MSO}_2\) graph properties

Uses Software

• Autowrite

Cites Work

• Automata for the verification of monadic second-order graph properties
• Generalized finite automata theory with an application to a decision problem of second-order logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Fly-Automata, Their Properties and Applications