Pages that link to "Item:Q1325847"

The following pages link to Monadic second-order definable graph transductions: a survey (Q1325847):

Displaying 50 items.

• Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints (Q269503) (← links)
• Verification of graph grammars using a logical approach (Q436370) (← links)
• On the structure of linear apex NLC graph grammars (Q441855) (← links)
• Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
• The monadic second-order logic of graphs. IX: Machines and their behaviours (Q671992) (← links)
• Trees, grids, and MSO decidability: from graphs to matroids (Q820150) (← links)
• Existential MSO over two successors is strictly weaker than over linear orders (Q837190) (← links)
• Definable transductions and weighted logics for texts (Q844894) (← links)
• The equivalence problem for deterministic MSO tree transducers is decidable (Q845868) (← links)
• Vertex-minors, monadic second-order logic, and a conjecture by Seese (Q858683) (← links)
• Circle graphs and monadic second-order logic (Q946577) (← links)
• The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability (Q1176232) (← links)
• A regular characterization of graph languages definable in monadic second-order logic (Q1177179) (← links)
• Nondeterministic operations on finite relational structures (Q1276248) (← links)
• Monadic second-order logic, graph coverings and unfoldings of transition systems (Q1295371) (← links)
• Monadic second-order definable text languages (Q1361884) (← links)
• The monadic second-order logic of graphs. X: Linear orderings (Q1366538) (← links)
• Logical description of context-free graph languages (Q1384534) (← links)
• A monadic second-order definition of the structure of convex hypergraphs. (Q1400707) (← links)
• Query efficient implementation of graphs of bounded clique-width (Q1408820) (← links)
• The monadic second-order logic of graphs. XII: Planar graphs and planar maps (Q1566702) (← links)
• The monadic second-order logic of graphs. XIII: Graph drawings with edge crossings (Q1575704) (← links)
• A comparison of tree transductions defined by monadic second order logic and by attribute grammars (Q1582010) (← links)
• The evaluation of first-order substitution is monadic second-order compatible (Q1603690) (← links)
• Monadic second-order logic on tree-like structures (Q1606130) (← links)
• Finite graph automata for linear and boundary graph languages (Q1770387) (← links)
• The monadic second-order logic of graphs. VIII: Orientations (Q1842126) (← links)
• On infinite transition graphs having a decidable monadic theory (Q1853615) (← links)
• Macro tree transducers, attribute grammars, and MSO definable tree translations. (Q1854312) (← links)
• The monadic second-order logic of graphs. XIV: Uniformly sparse graphs and edge set quantifica\-tions. (Q1874383) (← links)
• Towards a language theory for infinite N-free pomsets. (Q1874399) (← links)
• Regular sets of infinite message sequence charts (Q1887140) (← links)
• The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs (Q1960417) (← links)
• Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity (Q2022308) (← links)
• Regular model checking with regular relations (Q2140498) (← links)
• Streamable regular transductions (Q2286735) (← links)
• Clique-width and edge contraction (Q2350597) (← links)
• The modular decomposition of countable graphs. Definition and construction in monadic second-order logic (Q2481975) (← links)
• The monadic second-order logic of graphs. XV: On a conjecture by D. Seese (Q2494727) (← links)
• Recognizability, hypergraph operations, and logical types (Q2496296) (← links)
• Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
• The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic (Q2672657) (← links)
• A survey on decidable equivalence problems for tree transducers (Q2800413) (← links)
• Regular Programming for Quantitative Properties of Data Streams (Q2802466) (← links)
• Regular Transformations of Data Words Through Origin Information (Q2811346) (← links)
• Linear-Time Algorithms for Graphs of Bounded Rankwidth: A Fresh Look Using Game Theory (Q3010429) (← links)
• Minimalist Grammars in the Light of Logic (Q3013024) (← links)
• Weighted Logics for Nested Words and Algebraic Formal Power Series (Q3519504) (← links)
• On the Monadic Second-Order Transduction Hierarchy (Q3575301) (← links)
• Monadic second-order logic and context-free graph-grammars (Q3975133) (← links)