Pages that link to "Item:Q671992"

The following pages link to The monadic second-order logic of graphs. IX: Machines and their behaviours (Q671992):

Displayed 6 items.

• Monadic second-order logic, graph coverings and unfoldings of transition systems (Q1295371) ‎ (← links)
• The evaluation of first-order substitution is monadic second-order compatible (Q1603690) ‎ (← links)
• The modular decomposition of countable graphs. Definition and construction in monadic second-order logic (Q2481975) ‎ (← 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)
• Computer science and the fine structure of Borel sets (Q5941255) ‎ (← links)