Courcelle97'

BibTeX

@inproceedings{DBLP:conf/gg/Courcelle97,
  author    = {Bruno Courcelle},
  title     = {The Expression of Graph Properties and Graph Transformations
               in Monadic Second-Order Logic},
  booktitle = {Handbook of Graph Grammars},
  year      = {1997},
  pages     = {313-400},
  crossref  = {DBLP:conf/gg/1997handbook},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/gg/1997handbook,
  editor    = {Grzegorz Rozenberg},
  title     = {Handbook of Graph Grammars and Computing by Graph Transformations,
               Volume 1: Foundations},
  booktitle = {Handbook of Graph Grammars},
  publisher = {World Scientific},
  year      = {1997},
  isbn      = {9810228848},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}