Pages that link to "Item:Q671992"

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

Displaying 13 items.

• Regular sets over extended tree structures (Q764339) (← links)
• 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)
• A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
• Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence (Q2301358) (← links)
• The modular decomposition of countable graphs. Definition and construction in monadic second-order logic (Q2481975) (← links)
• (Q2842873) (← links)
• Simple monadic theories and partition width (Q3170562) (← 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)
• On deeply critical oriented cliques (Q6047971) (← links)
• Unfoldings and Coverings of Weighted Graphs (Q6094515) (← links)