BibTeX record conf/dimacs/Courcelle96

download as .bib file

@inproceedings{DBLP:conf/dimacs/Courcelle96,
  author    = {Bruno Courcelle},
  title     = {On the Expression of Graph Properties in some Fragments of Monadic
               Second-Order Logic},
  booktitle = {Descriptive Complexity and Finite Models, Proceedings of a {DIMACS}
               Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996},
  pages     = {33--62},
  year      = {1996},
  crossref  = {DBLP:conf/dimacs/1996},
  timestamp = {Mon, 14 Mar 2016 15:38:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dimacs/Courcelle96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dimacs/1996,
  editor    = {Neil Immerman and
               Phokion G. Kolaitis},
  title     = {Descriptive Complexity and Finite Models, Proceedings of a {DIMACS}
               Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996},
  series    = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume    = {31},
  publisher = {{DIMACS/AMS}},
  year      = {1996},
  url       = {http://dimacs.rutgers.edu/Volumes/Vol31.html},
  isbn      = {0-8218-0517-7},
  timestamp = {Mon, 14 Mar 2016 15:38:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dimacs/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier