BibTeX record conf/dagstuhl/Kovar05a

download as .bib file

@inproceedings{DBLP:conf/dagstuhl/Kovar05a,
  author    = {Martin Kov{\'{a}}r},
  title     = {The Hofmann-Mislove Theorem for general posets},
  booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
  year      = {2005},
  crossref  = {DBLP:conf/dagstuhl/2005P4351},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2005/119},
  timestamp = {Sat, 29 Oct 2016 13:38:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/Kovar05a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2005P4351,
  editor    = {Ralph Kopperman and
               Michael B. Smyth and
               Dieter Spreen and
               Julian Webster},
  title     = {Spatial Representation: Discrete vs. Continuous Computational Models},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {04351},
  publisher = {IBFI, Schloss Dagstuhl, Germany},
  year      = {2005},
  url       = {http://drops.dagstuhl.de/portals/04351/},
  timestamp = {Mon, 09 Dec 2013 17:20:14 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/2005P4351},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}