Monadic second-order logic, graph coverings and unfoldings of transition systems
From MaRDI portal
Publication:1295371
DOI10.1016/S0168-0072(97)00048-1zbMath0929.03036OpenAlexW2067672151MaRDI QIDQ1295371
Bruno Courcelle, Igor Walukiewicz
Publication date: 3 November 1999
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0168-0072(97)00048-1
monadic second-order logicdirected graphstransition systemsrelational structuresunfoldingsautomata on infinite treescoverings of transition systems
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (14)
The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic ⋮ Unfoldings and Coverings of Weighted Graphs ⋮ Query efficient implementation of graphs of bounded clique-width ⋮ A Hierarchy of Automaticω-Words having a Decidable MSO Theory ⋮ Model Transformations in Decidability Proofs for Monadic Theories ⋮ Graph Operations, Graph Transformations and Monadic Second-Order Logic: ⋮ Iterated pushdown automata and sequences of rational numbers ⋮ Regular sets over extended tree structures ⋮ Automata on infinite trees ⋮ A logic-based approach to incremental reasoning on multi-agent systems ⋮ On infinite transition graphs having a decidable monadic theory ⋮ The evaluation of first-order substitution is monadic second-order compatible ⋮ Monadic second-order logic on tree-like structures ⋮ Shelah-Stupp's and Muchnik's iterations revisited
Cites Work
- The monadic second-order logic of graphs. IX: Machines and their behaviours
- Alternating automata with start formulas
- The monadic theory of order
- Monadic second-order definable graph transductions: a survey
- Erratum to ``The monadic second-order logic of graphs. VI: On several representations of graphs by relational structures
- Monadic second order logic on tree-like structures
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Monadic second-order logic, graph coverings and unfoldings of transition systems
