Using nonstandard analysis to verify the correctness of computations. Beeson, M. International Journal of Foundations of Computer Science, 6(3):299-338, 1995.
![Using nonstandard analysis to verify the correctness of computations [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @article{beeson1995,
author = {Michael Beeson},
date-added = {2014-11-13 23:45:44 +0000},
date-modified = {2014-11-14 20:05:39 +0000},
journal = {International Journal of Foundations of Computer Science},
keywords = {Logic, MathXpert, Nonstandard analysis},
number = {3},
pages = {299-338},
title = {Using nonstandard analysis to verify the correctness of computations},
url_pdf = {nsappt.pdf},
volume = {6},
year = {1995}}Downloads: 0
{"_id":"LvQvEkEDtYWJMJevM","bibbaseid":"beeson-usingnonstandardanalysistoverifythecorrectnessofcomputations-1995","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-13 23:45:44 +0000","date-modified":"2014-11-14 20:05:39 +0000","journal":"International Journal of Foundations of Computer Science","keywords":"Logic, MathXpert, Nonstandard analysis","number":"3","pages":"299-338","title":"Using nonstandard analysis to verify the correctness of computations","url_pdf":"nsappt.pdf","volume":"6","year":"1995","bibtex":"@article{beeson1995,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-13 23:45:44 +0000},\n\tdate-modified = {2014-11-14 20:05:39 +0000},\n\tjournal = {International Journal of Foundations of Computer Science},\n\tkeywords = {Logic, MathXpert, Nonstandard analysis},\n\tnumber = {3},\n\tpages = {299-338},\n\ttitle = {Using nonstandard analysis to verify the correctness of computations},\n\turl_pdf = {nsappt.pdf},\n\tvolume = {6},\n\tyear = {1995}}\n\n","author_short":["Beeson, M."],"key":"beeson1995","id":"beeson1995","bibbaseid":"beeson-usingnonstandardanalysistoverifythecorrectnessofcomputations-1995","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/nsappt.pdf"},"keyword":["Logic","MathXpert","Nonstandard analysis"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["logic","mathxpert","nonstandard analysis"],"search_terms":["using","nonstandard","analysis","verify","correctness","computations","beeson"],"title":"Using nonstandard analysis to verify the correctness of computations","year":1995}