Newtonian Arbiters Cannot be Proven Correct




Faculty/Professorship: Foundations of Computer Science  
Author(s): Mendler, Michael ; Stroup, Terry
Title of the Journal: Formal Methods in System Design
ISSN: 1572-8102, 0925-9856
Publisher Information: Dordrecht [u.a.] : Kluwer
Year of publication: 1993
Volume: 3
Issue: 3
Pages: 233-257
Language(s): English
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/56619
Release Date: 21. November 2022