Newtonian Arbiters Cannot be Proven Correct

Faculty/Professorship: Foundations of Computer Science  
Author(s): Mendler, Michael ; Stroup, Terry
Publisher Information: Bamberg : opus
Year of publication: 2018
Pages: 26
Source/Other editions: Ursprünglich in: Formal Methods in System Design. – 3 (1993), 3, Seite 233-257
Year of first publication: 1993
Language(s): English
Remark: Retrodigitalisat
DOI: 10.20378/irbo-52662
Licence: German Act on Copyright 
URN: urn:nbn:de:bvb:473-opus4-526625
Type: Article
Year of publication: 13. August 2018

File SizeFormat  
Newtonian_ArbitersOCR_A3a.pdf1.22 MBPDFView/Open