The logical expression of graph properties

  • Bruno Courcelle
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 532)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    ARNBORG S., LAGERGREN J., SEESE D., Problems easy for tree-decomposable graphs,ICALP 1988, L N C S 317,pp.38–51.Google Scholar
  2. [2]
    BAUDERON M., Infinite hypergraphs, Theor. Comput. Sci., to appear.(Extended abstract in this volume).Google Scholar
  3. [3]
    COURCELLE B., An axiomatic definition of context-free rewriting and its application to NLC graph grammars, Theoretical Computer Science 55 (1987) 141–181.CrossRefGoogle Scholar
  4. [4]
    COURCELLE B., Graph rewriting: An algebraic and logic approach, in "Handbook of Theoretical Computer.Science Volume B", J. Van Leeuwen ed., Elsevier,1990, pp.193–242Google Scholar
  5. [5]
    COURCELLE B., The monadic second-order logic of graphs I, recognizable sets of finite graphs. Information and Computation 85 (1990) 12–75.CrossRefGoogle Scholar
  6. [6]
    COURCELLE B., The monadic second-order logic of graphs II, Infinite graphs of bounded width, Mathematical Systems Theory, 21(1989)187–221.CrossRefGoogle Scholar
  7. [7]
    COURCELLE B., The monadic second-order logic of graphs IV, Definability properties of equational graphs, Annals Pure Applied Logic 49(1990)193–255.CrossRefGoogle Scholar
  8. [8]
    COURCELLE B., The monadic second order logic of graphs VI: On several representations of graphs by relational structures, Report 89-99, (see also Logic in Computer Science 1990, Philadelphia).Google Scholar
  9. [9]
    COURCELLE B., Graphs as relational structures: an algebraic and logical approach, this volume.Google Scholar
  10. [10]
    IMMERMAN N., Languages that capture complexity classes, SIAM J.Comput. 16(1987)760–777.CrossRefGoogle Scholar
  11. [11]
    KANNELLAKIS P., Elements of relational database theory, same volume as [4], pp.1073–1156.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Bruno Courcelle
    • 1
  1. 1.Laboratoire d'InformatiqueUniversité Bordeaux-ITalence - CedexFrance

Personalised recommendations