BibTeX record: conf/mfcs/StepankovaH73

download as .bib file

@inproceedings{DBLP:conf/mfcs/StepankovaH73,
  author    = {Olga Step{\'{a}}nkov{\'{a}} and
               Ivan M. Havel},
  title     = {Some Results Concerning the Situation Calculus},
  booktitle = {Mathematical Foundations of Computer Science: Proceedings of Symposium
               and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
               September 3-8, 1973.},
  year      = {1973},
  pages     = {321--326},
  crossref  = {DBLP:conf/mfcs/1973},
  timestamp = {Wed, 01 Oct 2014 10:40:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mfcs/StepankovaH73},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1973,
  title     = {Mathematical Foundations of Computer Science: Proceedings of Symposium
               and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
               September 3-8, 1973},
  year      = {1973},
  publisher = {Mathematical Institute of the Slovak Academy of Sciences},
  timestamp = {Wed, 01 Oct 2014 10:40:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mfcs/1973},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}