BibTeX record: conf/csl/ArecesBM99

download as .bib file

@inproceedings{DBLP:conf/csl/ArecesBM99,
  author    = {Carlos Areces and
               Patrick Blackburn and
               Maarten Marx},
  title     = {A Road-Map on Complexity for Hybrid Logics},
  booktitle = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
               Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
               Proceedings},
  pages     = {307--321},
  year      = {1999},
  crossref  = {DBLP:conf/csl/1999},
  url       = {http://dx.doi.org/10.1007/3-540-48168-0_22},
  doi       = {10.1007/3-540-48168-0_22},
  timestamp = {Tue, 22 Sep 2009 11:27:02 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csl/ArecesBM99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csl/1999,
  editor    = {J{\"{o}}rg Flum and
               Mario Rodr{\'{\i}}guez{-}Artalejo},
  title     = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
               Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1683},
  publisher = {Springer},
  year      = {1999},
  isbn      = {3-540-66536-6},
  timestamp = {Tue, 12 Feb 2002 10:07:46 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csl/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}