Pages that link to "Item:Q1295371"
From MaRDI portal
The following pages link to Monadic second-order logic, graph coverings and unfoldings of transition systems (Q1295371):
Displayed 8 items.
- Regular sets over extended tree structures (Q764339) (← links)
- Query efficient implementation of graphs of bounded clique-width (Q1408820) (← links)
- The evaluation of first-order substitution is monadic second-order compatible (Q1603690) (← links)
- Monadic second-order logic on tree-like structures (Q1606130) (← links)
- On infinite transition graphs having a decidable monadic theory (Q1853615) (← links)
- Iterated pushdown automata and sequences of rational numbers (Q2498918) (← links)
- A Hierarchy of Automatic<i>ω</i>-Words having a Decidable MSO Theory (Q3526410) (← links)
- Model Transformations in Decidability Proofs for Monadic Theories (Q3540168) (← links)