BibTeX record conf/RelMiCS/GorankoHSV03

download as .bib file

@inproceedings{DBLP:conf/RelMiCS/GorankoHSV03,
  author    = {Valentin Goranko and
               Ullrich Hustadt and
               Renate A. Schmidt and
               Dimiter Vakarelov},
  title     = {{SCAN} Is Complete for All Sahlqvist Formulae},
  booktitle = {Relational and Kleene-Algebraic Methods in Computer Science: 7th International
               Seminar on Relational Methods in Computer Science and 2nd International
               Workshop on Applications of Kleene Algebra, Bad Malente, Germany,
               May 12-17, 2003, Revised Selected Papers},
  pages     = {149--162},
  year      = {2003},
  crossref  = {DBLP:conf/RelMiCS/2003conf},
  url       = {http://dx.doi.org/10.1007/978-3-540-24771-5_13},
  doi       = {10.1007/978-3-540-24771-5_13},
  timestamp = {Thu, 07 Jul 2011 15:46:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/RelMiCS/GorankoHSV03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2003conf,
  editor    = {Rudolf Berghammer and
               Bernhard M{\"{o}}ller and
               Georg Struth},
  title     = {Relational and Kleene-Algebraic Methods in Computer Science: 7th International
               Seminar on Relational Methods in Computer Science and 2nd International
               Workshop on Applications of Kleene Algebra, Bad Malente, Germany,
               May 12-17, 2003, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3051},
  publisher = {Springer},
  year      = {2004},
  isbn      = {3-540-22145-X},
  timestamp = {Tue, 06 Jul 2004 10:24:02 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/RelMiCS/2003conf},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}