DBLP Record 'conf/mfcs/Rasiowa80'

BibTeX

@inproceedings{DBLP:conf/mfcs/Rasiowa80,
  author    = {Helena Rasiowa},
  title     = {Completeness in Classical Logic of Complex Algorithms},
  booktitle = {MFCS},
  year      = {1980},
  pages     = {488-503},
  ee        = {http://dx.doi.org/10.1007/BFb0022527},
  crossref  = {DBLP:conf/mfcs/1980},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/mfcs/1980,
  editor    = {Piotr Dembinski},
  title     = {Mathematical Foundations of Computer Science 1980 (MFCS'80),
               Proceedings of the 9th Symposium, Rydzyna, Poland, September
               1-5, 1980},
  booktitle = {MFCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {88},
  year      = {1980},
  isbn      = {3-540-10027-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}