The following pages link to (Q248922):
Displaying 50 items.
- (Q169279) (redirect page) (← links)
- Fly-automata for checking monadic second-order properties of graphs of bounded tree-width (Q324700) (← links)
- On the model-checking of monadic second-order formulas with edge set quantifications (Q415286) (← links)
- Several notions of rank-width for countable graphs (Q505916) (← links)
- Compact labelings for efficient first-order model-checking (Q626458) (← links)
- Basic notions of universal algebra for language theory and graph grammars (Q671349) (← links)
- The monadic second-order logic of graphs. IX: Machines and their behaviours (Q671992) (← links)
- Recursive queries and context-free graph grammars (Q753477) (← links)
- The solutions of two star-height problems for regular trees (Q760212) (← links)
- The monadic second-order logic of graphs. IV: Definability properties of equational graphs (Q807611) (← links)
- Vertex-minors, monadic second-order logic, and a conjecture by Seese (Q858683) (← links)
- Circle graphs and monadic second-order logic (Q946577) (← links)
- Linear delay enumeration and monadic second-order logic (Q967312) (← links)
- A multivariate interlace polynomial and its computation for graphs of bounded clique-width (Q1010789) (← links)
- Graph operations characterizing rank-width (Q1028455) (← links)
- Fundamental properties of infinite trees (Q1055184) (← links)
- Some negative results concerning DPDA's (Q1058306) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- An axiomatic definition of context-free rewriting and its application to NLC graph grammars (Q1102759) (← links)
- A representation of trees by languages. II (Q1137390) (← links)
- The simultaneous accessibility of two configurations of two equivalent DPDA's (Q1152220) (← links)
- Attribute grammars and recursive program schemes. I. II (Q1162363) (← links)
- The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability (Q1176232) (← links)
- The monadic second-order logic of graphs. VII: Graphs as relational structures (Q1193407) (← links)
- Completeness results for the equivalence of recursive schemas (Q1232171) (← links)
- A representation of trees by languages. I (Q1246271) (← links)
- On some classes of interpretations (Q1251892) (← links)
- Monadic second-order logic, graph coverings and unfoldings of transition systems (Q1295371) (← links)
- Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes. (A first-order axiomatisation of arrangements of Euclidean pseudolines.) (Q1296148) (← links)
- Coverings and minors: Application to local computations in graphs (Q1317492) (← links)
- Monadic second-order definable graph transductions: a survey (Q1325847) (← links)
- The monadic second order logic of graphs. VI: On several representations of graphs by relational structures (Q1336623) (← links)
- The monadic second-order logic of graphs. X: Linear orderings (Q1366538) (← links)
- The obstructions of a minor-closed set of graphs defined by a context-free grammar (Q1379821) (← 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)
- Clique-width of countable graphs: A compactness property. (Q1422417) (← 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)
- The evaluation of first-order substitution is monadic second-order compatible (Q1603690) (← links)
- Fly-automata for checking \(\mathrm{MSO}_2\) graph properties (Q1752502) (← links)
- The monadic second-order logic of graphs. VIII: Orientations (Q1842126) (← links)
- Map genus, forbidden maps, and monadic second-order logic (Q1856334) (← links)
- The monadic second-order logic of graphs. XIV: Uniformly sparse graphs and edge set quantifica\-tions. (Q1874383) (← links)
- Structural properties of context-free sets of graphs generated by vertex replacement (Q1891154) (← links)
- Erratum to ``The monadic second-order logic of graphs. VI: On several representations of graphs by relational structures'' (Q1902907) (← links)
- Automata for the verification of monadic second-order graph properties (Q1948277) (← links)
- Constrained-path labellings on graphs of bounded clique-width (Q1959385) (← links)
- The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs (Q1960417) (← links)
- Linear time solvable optimization problems on graphs of bounded clique-width (Q1974445) (← links)
