DBLP Record 'conf/stoc/Mirkowska80'

BibTeX

@inproceedings{DBLP:conf/stoc/Mirkowska80,
  author    = {Grazyna Mirkowska},
  title     = {Complete Axiomatization of Algorithmic Properties of Program
               Schemes with Bounded Nondeterministic Interpretations},
  booktitle = {STOC},
  year      = {1980},
  pages     = {14-21},
  crossref  = {DBLP:conf/stoc/STOC12},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/stoc/STOC12,
  title     = {Conference Proceedings of the Twelfth Annual ACM Symposium
               on Theory of Computing, 28-30 April, Los Angeles, California,
               USA},
  booktitle = {STOC},
  publisher = {ACM},
  year      = {1980},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}