DBLP Record 'conf/stoc/RaoultV78'

BibTeX

@inproceedings{DBLP:conf/stoc/RaoultV78,
  author    = {Jean-Claude Raoult and
               Jean Vuillemin},
  title     = {Operational and Semantic Equivalence between Recursive Programs},
  booktitle = {STOC},
  year      = {1978},
  pages     = {75-85},
  crossref  = {DBLP:conf/stoc/STOC10},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/stoc/STOC10,
  title     = {Conference Record of the Tenth Annual ACM Symposium on Theory
               of Computing, 1-3 May 1978, San Diego, California, USA},
  booktitle = {STOC},
  publisher = {ACM},
  year      = {1978},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}