Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Ait-Kuci, H.: The WAM: A (Real) Tutorial, Technical Report, Digital Equipment Corporation, Paris Research Labs (1990)
2. Barendregt, H.P.: The Lambda Calculus, Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics, vol. 103. North-Holland, Amsterdam (1981)
3. Benett, C.: Logical Reversibility of Computation. IBM Journal of Research and Development 17, 525–532 (1973)
4. Benioff, P.: The Computer as a Physical System: A Microscopic Quantum Mechanical Hamiltonian Model ofComputers as Represented by Turing Machines. Journal of Statistical Physics 22, 563–591 (1980)
5. Benioff, P.: Quantum Mechanical Models of Turing Machines that Dissipate no Heat. Physical Review Letters 48, 1581–1585 (1982)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献