~reif/paper J. H. Reif and H. R. Lewis, Symbolic Evaluation and the Global Value Graph ~reif/courses/complectures/Vazirani CS294-2: Quantum Computation Spring 2007 ~reif/vita John H. Reif ~reif/paper/MechComp/MechComp2017 Springer Science+Business Media New York 2017 Mechanical Computation: The Computational Complexity of Physical Computing Devices Chapter, Encyclopedia of Complexity and Systems Science ~reif/vita/topics Papers by Reif on Program Logics (6 papers) ~reif/paper/MechComp/MechComp2017 R. Landauer, "Irreversibility and heat generation in the computing process", ibm j. Res. Dev. 5, 183 (1961) ~reif/paper/AutonomousDNA 1 John h reif2 and Thomas h laBean directory ~reif |