~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  




The database is protected by copyright ©ininet.org 2024
send message

    Main page