Logical reversibility

IBM Journal of Research and Development

Volumn 45, Issue 6, 2001, Pages 807-818

  Zuliani, P ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; QUANTUM THEORY; SEMANTICS;

QUANTUM COMPUTATIONS;

PROBABILISTIC LOGICS;

EID: 0035516586     PISSN: 00188646     EISSN: None     Source Type: Journal    
DOI: 10.1147/rd.456.0807     Document Type: Article

References (21)

1. Guarded commands, nondeterminacy and the formal derivation of programs
2. Irreversibility and heat generation in the computing process
3. nu, où θ est un isomorphisme de codes
4. Logical reversibility of computation
5. Conservative logic
6. The thermodynamics of computation - A review
7. Algorithms for quantum computation: Discrete log and factoring
8. pGCL: Formal reasoning for random algorithms
9. Quantum programming
10. Elementary gates for quantum computation
11. Reversible computing
12. Quantum mechanical computers
13. Hardware compilation
14. Constructing hardware-software systems from a single description
15. Notes on the history of reversible computation
16. Quantum theory, the church-turing principle and the universal quantum computer
17. Probabilistic models for the guarded command language
18. Probabilistic predicate transformers