| Publication | Date of Publication | Type |
|---|
The monadic second-order logic of graphs : Definable sets of finite graphs
Graph-Theoretic Concepts in Computer Science | 2024-02-28 | Paper |
Unfoldings and Coverings of Weighted Graphs
Fundamenta Informaticae | 2023-09-14 | Paper |
Betweenness in order-theoretic trees
Fields of Logic and Computation III | 2022-11-09 | Paper |
Order-theoretic Trees: Monadic Second-order Descriptions and Regularity
Fundamenta Informaticae | 2022-10-07 | Paper |
Induced betweenness in order-theoretic trees
Discrete Mathematics & Theoretical Computer Science | 2022-09-30 | Paper |
Recognizable sets of graphs of bounded tree-width
Graph Transformations in Computer Science | 2022-08-16 | Paper |
Betweenness of partial orders
RAIRO - Theoretical Informatics and Applications | 2022-01-12 | Paper |
Axiomatization of betweenness in order-theoretic trees
| 2021-03-26 | Paper |
On defining linear orders by automata
Moscow Journal of Combinatorics and Number Theory | 2020-11-10 | Paper |
Grammars and clique-width bounds from split decompositions
Discrete Applied Mathematics | 2020-04-21 | Paper |
On quasi-planar graphs: clique-width and logical description
Discrete Applied Mathematics | 2020-04-21 | Paper |
Axiomatization of betweenness in order-theoretic trees
| 2020-04-21 | Paper |
The obstructions of a minor-closed set of graphs defined by hyperedge replacement can be constructed
Lecture Notes in Computer Science | 2019-01-10 | Paper |
The definition in monadic second-order logic of modular decompositions of ordered graphs
Lecture Notes in Computer Science | 2019-01-10 | Paper |
From tree-decompositions to clique-width terms
Discrete Applied Mathematics | 2018-09-17 | Paper |
Fly-automata for checking \(\mathrm{MSO}_2\) graph properties
Discrete Applied Mathematics | 2018-05-24 | Paper |
Algebraic and logical descriptions of generalized trees
| 2017-10-12 | Paper |
Several notions of rank-width for countable graphs
Journal of Combinatorial Theory. Series B | 2017-01-26 | Paper |
Fly-automata for checking monadic second-order properties of graphs of bounded tree-width
| 2016-10-17 | Paper |
Clique-width of countable graphs: a compactness property
| 2016-07-01 | Paper |
Computations by fly-automata beyond monadic second-order logic
Theoretical Computer Science | 2016-02-26 | Paper |
Regularity equals monadic second-order definability for quasi-trees
Fields of Logic and Computation II | 2015-09-22 | Paper |
Clique-width and edge contraction
Information Processing Letters | 2015-06-25 | Paper |
A characterisation of clique-width through nested partitions
Discrete Applied Mathematics | 2015-06-10 | Paper |
The common structure of the curves having a same Gauss word
Automata, Universality, Computation | 2015-04-14 | Paper |
Monadic second-order definable graph orderings
Logical Methods in Computer Science | 2014-01-22 | Paper |
Model-checking by infinite fly-automata
Algebraic Informatics | 2013-09-20 | Paper |
Connectivity check in 3-connected planar graphs with obstacles
Electronic Notes in Discrete Mathematics | 2013-06-28 | Paper |
Graph operations, graph transformations and monadic second-order logic: a survey
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Automata for the verification of monadic second-order graph properties
Journal of Applied Logic | 2013-05-02 | Paper |
Special tree-width and the verification of monadic second-order graph properties
| 2012-08-29 | Paper |
On the model-checking of monadic second-order formulas with edge set quantifications
Discrete Applied Mathematics | 2012-05-11 | Paper |
Fly-automata, their properties and applications
Implementation and Application of Automata | 2011-07-29 | Paper |
scientific article; zbMATH DE number 5872389 (Why is no real title available?)
| 2011-03-30 | Paper |
Graph structure and monadic second-order logic. A language-theoretic approach
| 2011-02-18 | Paper |
Compact labelings for efficient first-order model-checking
Journal of Combinatorial Optimization | 2011-02-18 | Paper |
Constrained-path labellings on graphs of bounded clique-width
Theory of Computing Systems | 2010-10-06 | Paper |
On the monadic second-order transduction hierarchy
Logical Methods in Computer Science | 2010-07-27 | Paper |
Linear delay enumeration and monadic second-order logic
Discrete Applied Mathematics | 2010-04-28 | Paper |
scientific article; zbMATH DE number 5666835 (Why is no real title available?)
| 2010-02-05 | Paper |
Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations
| 2010-02-05 | Paper |
On Several Proofs of the Recognizability Theorem
Algebraic Informatics | 2009-11-05 | Paper |
Graph operations characterizing rank-width
Discrete Applied Mathematics | 2009-06-30 | Paper |
A multivariate interlace polynomial and its computation for graphs of bounded clique-width
The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications
Language and Automata Theory and Applications | 2009-04-02 | Paper |
Graph equivalences and decompositions definable in monadic second-order logic. The case of circle graphs
| 2009-03-24 | Paper |
Circle graphs and monadic second-order logic
Journal of Applied Logic | 2008-09-23 | Paper |
Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects
Automata, Languages and Programming | 2008-08-28 | Paper |
Graph Operations Characterizing Rank-Width and Balanced Graph Expressions
Graph-Theoretic Concepts in Computer Science | 2008-07-01 | Paper |
Efficient First-Order Model-Checking Using Short Labels
Frontiers in Algorithmics | 2008-06-19 | Paper |
The modular decomposition of countable graphs. Definition and construction in monadic second-order logic
Theoretical Computer Science | 2008-04-15 | Paper |
The monadic second-order logic of graphs XVI : Canonical graph decompositions
Logical Methods in Computer Science | 2007-10-11 | Paper |
Compact Forbidden-Set Routing
STACS 2007 | 2007-09-03 | Paper |
Graph decompositions definable in monadic second-order logic
Electronic Notes in Discrete Mathematics | 2007-05-29 | Paper |
Vertex-minors, monadic second-order logic, and a conjecture by Seese
Journal of Combinatorial Theory. Series B | 2007-01-11 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Recognizability, hypergraph operations, and logical types
Information and Computation | 2006-07-12 | Paper |
The monadic second-order logic of graphs. XV: On a conjecture by D. Seese
Journal of Applied Logic | 2006-06-30 | Paper |
Developments in Language Theory
Lecture Notes in Computer Science | 2005-12-22 | Paper |
The recognizability of sets of graphs is a robust property
Theoretical Computer Science | 2005-09-22 | Paper |
scientific article; zbMATH DE number 2087418 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2079025 (Why is no real title available?)
| 2004-07-21 | Paper |
Clique-width of countable graphs: A compactness property.
Discrete Mathematics | 2004-02-14 | Paper |
scientific article; zbMATH DE number 2016096 (Why is no real title available?)
| 2003-12-10 | Paper |
scientific article; zbMATH DE number 1995142 (Why is no real title available?)
| 2003-10-22 | Paper |
scientific article; zbMATH DE number 1995117 (Why is no real title available?)
| 2003-10-21 | Paper |
Query efficient implementation of graphs of bounded clique-width
Discrete Applied Mathematics | 2003-09-25 | Paper |
The monadic second-order logic of graphs. XIV: Uniformly sparse graphs and edge set quantifica\-tions.
Theoretical Computer Science | 2003-05-25 | Paper |
Map genus, forbidden maps, and monadic second-order logic
The Electronic Journal of Combinatorics | 2003-05-13 | Paper |
Linear time solvable optimization problems on graphs of bounded clique-width
Theory of Computing Systems | 2003-03-18 | Paper |
Fusion in relational structures and the verification of monadic second-order properties
Mathematical Structures in Computer Science | 2002-10-16 | Paper |
scientific article; zbMATH DE number 1696755 (Why is no real title available?)
| 2002-07-22 | Paper |
The evaluation of first-order substitution is monadic second-order compatible
Theoretical Computer Science | 2002-07-15 | Paper |
A monadic second-order definition of the structure of convex hypergraphs.
Information and Computation | 2002-01-01 | Paper |
On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic
Discrete Applied Mathematics | 2001-11-09 | Paper |
Upper bounds to the clique width of graphs
Discrete Applied Mathematics | 2001-03-30 | Paper |
scientific article; zbMATH DE number 1543064 (Why is no real title available?)
| 2001-02-26 | Paper |
The monadic second-order logic of graphs. XIII: Graph drawings with edge crossings
Theoretical Computer Science | 2000-08-21 | Paper |
The monadic second-order logic of graphs. XII: Planar graphs and planar maps
Theoretical Computer Science | 2000-06-04 | Paper |
The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs
Theoretical Computer Science | 2000-01-12 | Paper |
scientific article; zbMATH DE number 1262783 (Why is no real title available?)
| 1999-12-13 | Paper |
Monadic second-order logic, graph coverings and unfoldings of transition systems
Annals of Pure and Applied Logic | 1999-11-03 | Paper |
Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes. (A first-order axiomatisation of arrangements of Euclidean pseudolines.)
Annales de l’institut Fourier | 1999-07-12 | Paper |
scientific article; zbMATH DE number 1231484 (Why is no real title available?)
| 1998-12-13 | Paper |
scientific article; zbMATH DE number 1222597 (Why is no real title available?)
| 1998-11-11 | Paper |
scientific article; zbMATH DE number 1142315 (Why is no real title available?)
| 1998-05-14 | Paper |
scientific article; zbMATH DE number 1142319 (Why is no real title available?)
| 1998-05-14 | Paper |
scientific article; zbMATH DE number 1059243 (Why is no real title available?)
| 1998-03-23 | Paper |
The obstructions of a minor-closed set of graphs defined by a context-free grammar
Discrete Mathematics | 1998-02-25 | Paper |
scientific article; zbMATH DE number 1047873 (Why is no real title available?)
| 1997-11-09 | Paper |
The monadic second-order logic of graphs. X: Linear orderings
Theoretical Computer Science | 1997-09-18 | Paper |
Basic notions of universal algebra for language theory and graph grammars
Theoretical Computer Science | 1997-02-27 | Paper |
The monadic second-order logic of graphs. IX: Machines and their behaviours
Theoretical Computer Science | 1997-02-27 | Paper |
Equivalent definitions of recognizability for sets of graphs of bounded tree-width
Mathematical Structures in Computer Science | 1996-09-12 | Paper |
Mineurs d'arbres avec racines
RAIRO - Theoretical Informatics and Applications | 1996-05-27 | Paper |
Erratum to ``The monadic second-order logic of graphs. VI: On several representations of graphs by relational structures
Discrete Applied Mathematics | 1996-02-18 | Paper |
The monadic second-order logic of graphs. VIII: Orientations
Annals of Pure and Applied Logic | 1996-01-30 | Paper |
Structural properties of context-free sets of graphs generated by vertex replacement
Information and Computation | 1996-01-02 | Paper |
scientific article; zbMATH DE number 809155 (Why is no real title available?)
| 1995-11-30 | Paper |
Monadic second-order definable graph transductions: a survey
Theoretical Computer Science | 1995-01-26 | Paper |
The monadic second order logic of graphs. VI: On several representations of graphs by relational structures
Discrete Applied Mathematics | 1994-11-03 | Paper |
An algebraic theory of graph reduction
Journal of the ACM | 1994-09-11 | Paper |
Recognizable sets of graphs: equivalent definitions and closure properties
Mathematical Structures in Computer Science | 1994-04-26 | Paper |
Coverings and minors: Application to local computations in graphs
European Journal of Combinatorics | 1994-04-21 | Paper |
scientific article; zbMATH DE number 522845 (Why is no real title available?)
| 1994-04-17 | Paper |
scientific article; zbMATH DE number 475416 (Why is no real title available?)
| 1994-01-13 | Paper |
scientific article; zbMATH DE number 475615 (Why is no real title available?)
| 1994-01-06 | Paper |
Handle-rewriting hypergraph grammars
Journal of Computer and System Sciences | 1993-06-29 | Paper |
scientific article; zbMATH DE number 177421 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 177438 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 177437 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 177426 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 139615 (Why is no real title available?)
| 1993-03-28 | Paper |
scientific article; zbMATH DE number 58310 (Why is no real title available?)
| 1992-09-27 | Paper |
The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues
RAIRO - Theoretical Informatics and Applications | 1992-09-27 | Paper |
The monadic second-order logic of graphs. VII: Graphs as relational structures
Theoretical Computer Science | 1992-09-27 | Paper |
scientific article; zbMATH DE number 17791 (Why is no real title available?)
| 1992-06-26 | Paper |
The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability
Theoretical Computer Science | 1992-06-25 | Paper |
scientific article; zbMATH DE number 10087 (Why is no real title available?)
| 1992-06-25 | Paper |
A geometrical view of the determinization and minimization of finite-state automata
Mathematical Systems Theory | 1991-01-01 | Paper |
Recursive queries and context-free graph grammars
Theoretical Computer Science | 1991-01-01 | Paper |
The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
Information and Computation | 1990-01-01 | Paper |
The monadic second-order logic of graphs. IV: Definability properties of equational graphs
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
The monadic second-order logic of graphs, II: Infinite graphs of bounded width
Mathematical Systems Theory | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4124985 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4114059 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4051026 (Why is no real title available?)
| 1988-01-01 | Paper |
Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
Information and Computation | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4106286 (Why is no real title available?)
| 1988-01-01 | Paper |
Decidable subcases of the equivalence problem for recursive program schemes
RAIRO - Theoretical Informatics and Applications | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4005583 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4049098 (Why is no real title available?)
| 1987-01-01 | Paper |
An axiomatic definition of context-free rewriting and its application to NLC graph grammars
Theoretical Computer Science | 1987-01-01 | Paper |
Graph expressions and graph rewritings
Mathematical Systems Theory | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4049097 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3978423 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4037258 (Why is no real title available?)
| 1986-01-01 | Paper |
Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
Theoretical Computer Science | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3917723 (Why is no real title available?)
| 1985-01-01 | Paper |
Some negative results concerning DPDA's
Information Processing Letters | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3896271 (Why is no real title available?)
| 1984-01-01 | Paper |
The solutions of two star-height problems for regular trees
Theoretical Computer Science | 1984-01-01 | Paper |
An axiomatic approach to the Korenjak-Hopcroft algorithms
Mathematical Systems Theory | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3821090 (Why is no real title available?)
| 1983-01-01 | Paper |
Fundamental properties of infinite trees
Theoretical Computer Science | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3810943 (Why is no real title available?)
| 1982-01-01 | Paper |
Attribute grammars and recursive program schemes. I. II
Theoretical Computer Science | 1982-01-01 | Paper |
On the equivalence problem for attribute systems
Information and Control | 1982-01-01 | Paper |
The simultaneous accessibility of two configurations of two equivalent DPDA's
Information Processing Letters | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3723843 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3780539 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3716833 (Why is no real title available?)
| 1981-01-01 | Paper |
The Rational Index: A Complexity Measure for Languages
SIAM Journal on Computing | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3724512 (Why is no real title available?)
| 1980-01-01 | Paper |
Infinite trees in normal form and recursive equations having a unique solution
Mathematical Systems Theory | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3631912 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3631950 (Why is no real title available?)
| 1978-01-01 | Paper |
A representation of trees by languages. I
Theoretical Computer Science | 1978-01-01 | Paper |
A representation of trees by languages. II
Theoretical Computer Science | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3639170 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3597848 (Why is no real title available?)
| 1978-01-01 | Paper |
On some classes of interpretations
Journal of Computer and System Sciences | 1978-01-01 | Paper |
On jump-deterministic pushdown automata
Mathematical Systems Theory | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3671713 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3553737 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3569858 (Why is no real title available?)
| 1977-01-01 | Paper |
Completeness results for the equivalence of recursive schemas
Journal of Computer and System Sciences | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3558918 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3473350 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3448092 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3448081 (Why is no real title available?)
| 1974-01-01 | Paper |
