Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Reversible simulation of space-bounded computations

From MaRDI portal
Publication:673645
Jump to:navigation, search

DOI10.1016/0304-3975(95)80017-4zbMath0873.68061OpenAlexW2018044965MaRDI QIDQ673645

Christos H. Papadimitriou, Pierluigi Crescenzi

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)80017-4


zbMATH Keywords

deterministic Turing machines


Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)


Related Items

Reversible computation in term rewriting ⋮ Space-bounded quantum complexity ⋮ Reversibility of computations in graph-walking automata ⋮ Rush Hour is PSPACE-complete, or ``Why you should generously tip parking lot attendants ⋮ Reversible space equals deterministic space



Cites Work

  • Symmetric space-bounded computation
  • On the complexity of the parity argument and other inefficient proofs of existence
  • Relationships between nondeterministic and deterministic tape complexities
  • A Note on Bennett’s Time-Space Tradeoff for Reversible Computation
  • Irreversibility and Heat Generation in the Computing Process
  • Time/Space Trade-Offs for Reversible Computation
  • On Relating Time and Space to Size and Depth
  • Quantum complexity theory
  • Logical Reversibility of Computation
Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:673645&oldid=12580230"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 30 January 2024, at 10:22.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki