Pages that link to "Item:Q1295371"

The following pages link to Monadic second-order logic, graph coverings and unfoldings of transition systems (Q1295371):

Displaying 20 items.

• Regular sets over extended tree structures (Q764339) (← links)
• A unification algorithm for second-order monadic terms (Q1109019) (← 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)
• Automata on infinite trees (Q2074210) (← links)
• A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
• Shelah-Stupp's and Muchnik's iterations revisited (Q2117107) (← links)
• Iterated pushdown automata and sequences of rational numbers (Q2498918) (← links)
• The monadic quantifier alternation hierarchy over grids and graphs (Q2506497) (← links)
• The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic (Q2672657) (← links)
• Fusion in relational structures and the verification of monadic second-order properties (Q3146251) (← 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)
• (Q4241260) (← links)
• Semantical evaluations as monadic second-order compatible structure transformations (Q4738213) (← links)
• Monadic Second-Order Logic and Transitive Closure Logics over Trees (Q4917997) (← links)
• Graph Operations, Graph Transformations and Monadic Second-Order Logic: (Q4923534) (← links)
• Unfoldings and Coverings of Weighted Graphs (Q6094515) (← links)