%0 Conference Paper %1 journals/tcs/ShieldHC01 %A Shield, Jamie %A Hayes, Ian J. %A Carrington, David A. %B CATS %D 2001 %E Fidge, Colin J. %I Elsevier %K dblp %P 266-281 %T Using Theory Interpretation to Mechanise the Reals in a Theorem Prover. %U http://dblp.uni-trier.de/db/journals/tcs/entcs42.html#ShieldHC01 %V 42

@inproceedings{journals/tcs/ShieldHC01, added-at = {2022-11-11T00:00:00.000+0100}, author = {Shield, Jamie and Hayes, Ian J. and Carrington, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2821c2bcbd0f245ddc4f572393715579a/dblp}, booktitle = {CATS}, crossref = {conf/cats/2001}, editor = {Fidge, Colin J.}, ee = {https://doi.org/10.1016/S1571-0661(04)80890-9}, interhash = {691741d7eeb74dc8dd1190a4a1406b54}, intrahash = {821c2bcbd0f245ddc4f572393715579a}, keywords = {dblp}, pages = {266-281}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T00:25:06.000+0200}, title = {Using Theory Interpretation to Mechanise the Reals in a Theorem Prover.}, url = {http://dblp.uni-trier.de/db/journals/tcs/entcs42.html#ShieldHC01}, volume = 42, year = 2001 }