The monadic second-order logic of graphs VIII: Orientations

This publication has 15 references indexed in Scilit:

• The monadic second order logic of graphs VI: on several representations of graphs by relational structures
  Discrete Applied Mathematics, 1994
• Monadic second-order definable graph transductions: a survey
  Theoretical Computer Science, 1994
• The monadic second-order logic of graphs VII: graphs as relational structures
  Theoretical Computer Science, 1992
• The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues
  RAIRO - Theoretical Informatics and Applications, 1992
• The monadic second-order logic of graphs V: on closing the gap between definability and recognizability
  Theoretical Computer Science, 1991
• Easy problems for tree-decomposable graphs
  Journal of Algorithms, 1991
• Reachability is harder for directed than for undirected finite graphs
  The Journal of Symbolic Logic, 1990
• The monadic second-order logic of graphs. I. Recognizable sets of finite graphs
  Information and Computation, 1990
• Graph expressions and graph rewritings
  Theory of Computing Systems, 1987
• Weak Second‐Order Arithmetic and Finite Automata
  Mathematical Logic Quarterly, 1960