Formal proofs concerning partial recursive functions.
Massachusetts Institute of Technology. Dept. of Electrical Engineering. Thesis. 1966. M.S.
Main Author: | Rotenberg, Leo Joseph |
---|---|
Other Authors: | Marvin L. Minsky. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2005
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/13453 |
Similar Items
-
Automated termination proofs using Walther recursion
by: Wu, Alexander
Published: (2007) -
Contributions to recursion theory on higher types (or, a proof of Harrington's conjecture),
by: Harrington, Leo Anthony
Published: (2018) -
Making computers keep secrets.
by: Rotenberg, Leo Joseph
Published: (2006) -
CoqIOA : a formalization of IO automata in the Coq proof assistant
by: Athalye, Anish (Anish R.)
Published: (2017) -
A Formalization and Correctness Proof of the CGOL Language System
by: VanDeVanter, Michael Lee
Published: (2023)