BibTeX record conf/mfcs/JanssenB77

download as .bib file

@inproceedings{DBLP:conf/mfcs/JanssenB77,
  author    = {Theo M. V. Janssen and
               Peter van Emde Boas},
  title     = {The Expressive Power of Intensional Logic in the Semantics of Programming
               Languages},
  booktitle = {Mathematical Foundations of Computer Science 1977, 6th Symposium,
               Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings},
  pages     = {303--311},
  year      = {1977},
  crossref  = {DBLP:conf/mfcs/1977},
  url       = {http://dx.doi.org/10.1007/3-540-08353-7_149},
  doi       = {10.1007/3-540-08353-7_149},
  timestamp = {Mon, 21 Sep 2009 12:40:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mfcs/JanssenB77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1977,
  editor    = {Jozef Gruska},
  title     = {Mathematical Foundations of Computer Science 1977, 6th Symposium,
               Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {53},
  publisher = {Springer},
  year      = {1977},
  timestamp = {Fri, 01 Feb 2002 14:47:54 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mfcs/1977},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}