BibTeX record conf/stoc/Wagner71

download as .bib file

@inproceedings{DBLP:conf/stoc/Wagner71,
  author    = {Eric G. Wagner},
  title     = {An Algebraic Theory of Recursive Definitions and Recursive Languages},
  booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing,
               May 3-5, 1971, Shaker Heights, Ohio, {USA}},
  pages     = {12--23},
  year      = {1971},
  crossref  = {DBLP:conf/stoc/STOC3},
  url       = {https://doi.org/10.1145/800157.805034},
  doi       = {10.1145/800157.805034},
  timestamp = {Tue, 06 Nov 2018 11:07:05 +0100},
  biburl    = {https://dblp.org/rec/conf/stoc/Wagner71.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC3,
  editor    = {Michael A. Harrison and
               Ranan B. Banerji and
               Jeffrey D. Ullman},
  title     = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing,
               May 3-5, 1971, Shaker Heights, Ohio, {USA}},
  publisher = {{ACM}},
  year      = {1971},
  timestamp = {Sat, 04 Dec 2021 14:34:12 +0100},
  biburl    = {https://dblp.org/rec/conf/stoc/STOC3.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics