Reversible Space Equals Deterministic Space

References

Page 1

	Year	Citations
Introduction to automata theory, languages and computation Mathematics and Computers in Simulation Logical AutomatonEngineeringAutomated ReasoningFormal MethodsAutomaton Network	1981	10.8K
Algorithms for quantum computation: discrete logarithms and factoring Peter W. Shor Quantum SoftwareQuantum System SoftwareEngineeringComputational ComplexityLas Vegas Algorithms	2002	8.2K
Introduction to automata theory, languages, and computation Computer Languages Logical AutomatonEngineeringAutomated ReasoningFormal MethodsAutomaton Network	1980	6.8K
Theory of Self-Reproducing Automata Jacob T. Schwartz, John von Neumann, Arthur W. Burks Mathematics of Computation Logical AutomatonEngineeringAutomated ReasoningVerificationFormal Methods	1967	5.5K
Irreversibility and Heat Generation in the Computing Process Rolf Landauer IBM Journal of Research and Development Thermal FluctuationsEngineeringElectronic DesignComputer ArchitecturePhysical Irreversibility	1961	4.7K
Quantum theory, the Church–Turing principle and the universal quantum computer David Deutsch Proceedings of the Royal Society of London A Mathematical and Physical Sciences	1985	4.5K
Logical Reversibility of Computation C. H. Bennett IBM Journal of Research and Development EngineeringComputational Model TheoryPushdown AutomatonComputational ComplexityFormal Verification	1973	3.6K
Irreversibility and heat generation in the computing process Rolf Landauer IBM Journal of Research and Development Thermal FluctuationsEngineeringElectronic DesignComputer ArchitecturePhysical Irreversibility	2000	2.6K
A taxonomy of problems with fast parallel algorithms Stephen Cook Information and Control EngineeringParallel Complexity TheoryParallel ProcessingFast ParallelComputational Complexity	1985	643
On span programs Mauricio Karchmer, Avi Wigderson Mathematical ProgrammingComputational Complexity TheoryEngineeringComputational ComplexitySoftware Analysis	2002	486

Page 1