DBLP Record 'conf/stoc/ConstableM72'

BibTeX

@inproceedings{DBLP:conf/stoc/ConstableM72,
  author    = {Robert L. Constable and
               Steven S. Muchnick},
  title     = {Subrecursive Program Schemata I {\&} II: I. Undecidable
               Equivalence Problems; II. Decidable Equivalence Problems},
  booktitle = {STOC},
  year      = {1972},
  pages     = {1-17},
  crossref  = {DBLP:conf/stoc/STOC4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/stoc/STOC4,
  title     = {Conference Record, Fourth Annual ACM Symposium on Theory
               of Computing, 1-3 May 1972, Denver, Colorado, USA},
  booktitle = {STOC},
  publisher = {ACM},
  year      = {1972},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}