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/ArBCG93
%A Ar, Sigal
%A Blum, Manuel
%A Codenotti, Bruno
%A Gemmell, Peter
%B STOC
%D 1993
%E Kosaraju, S. Rao
%E Johnson, David S.
%E Aggarwal, Alok
%I ACM
%K dblp
%P 786-795
%T Checking approximate computations over the reals.
%U http://dblp.uni-trier.de/db/conf/stoc/stoc1993.html#ArBCG93
%@ 0-89791-591-7
@inproceedings{conf/stoc/ArBCG93,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Ar, Sigal and Blum, Manuel and Codenotti, Bruno and Gemmell, Peter},
biburl = {https://www.bibsonomy.org/bibtex/22569815131d15cac9339dc9b2cd0a4f5/dblp},
booktitle = {STOC},
crossref = {conf/stoc/STOC25},
editor = {Kosaraju, S. Rao and Johnson, David S. and Aggarwal, Alok},
ee = {https://doi.org/10.1145/167088.167288},
interhash = {89f45500c642dabdfb4c3941c617b151},
intrahash = {2569815131d15cac9339dc9b2cd0a4f5},
isbn = {0-89791-591-7},
keywords = {dblp},
pages = {786-795},
publisher = {ACM},
timestamp = {2018-11-07T14:44:53.000+0100},
title = {Checking approximate computations over the reals.},
url = {http://dblp.uni-trier.de/db/conf/stoc/stoc1993.html#ArBCG93},
year = 1993
}