Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/stoc/MannaP69
%A Manna, Zohar
%A Pnueli, Amir
%B STOC
%D 1969
%E Fischer, Patrick C.
%E Ginsburg, Seymour
%E Harrison, Michael A.
%I ACM
%K dblp
%P 201-210
%T Formalization of Properties of Recursively Defined Functions
%U http://dblp.uni-trier.de/db/conf/stoc/stoc69.html#MannaP69
@inproceedings{conf/stoc/MannaP69,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Manna, Zohar and Pnueli, Amir},
biburl = {https://www.bibsonomy.org/bibtex/22c37074521caf99edd24150f7d9df67d/dblp},
booktitle = {STOC},
crossref = {conf/stoc/STOC1},
editor = {Fischer, Patrick C. and Ginsburg, Seymour and Harrison, Michael A.},
ee = {https://doi.org/10.1145/800169.805434},
interhash = {0742ee36791253e401b867ab8dc876a9},
intrahash = {2c37074521caf99edd24150f7d9df67d},
keywords = {dblp},
pages = {201-210},
publisher = {ACM},
timestamp = {2018-11-07T14:16:59.000+0100},
title = {Formalization of Properties of Recursively Defined Functions},
url = {http://dblp.uni-trier.de/db/conf/stoc/stoc69.html#MannaP69},
year = 1969
}