Fundamentals of reversible flowchart languages

Irreversibility and Heat Generation in the Computing Process

Rolf Landauer · IBM Journal of Research and Development · 1961 · 4.9K citations

Engineering, Computer Engineering, Physics +17

Logical Reversibility of Computation

C. H. Bennett · IBM Journal of Research and Development · 1973 · 3.7K citations

Computing, Computer Science, Computer Architecture +13

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Computing, Computer Science, Formal Methods +16

Irreversibility and heat generation in the computing process

Rolf Landauer · IBM Journal of Research and Development · 2000 · 2.6K citations

Engineering, Computer Engineering, Physics +17

The thermodynamics of computation—a review

Charles H. Bennett · International Journal of Theoretical Physics · 1982 · 2K citations

Natural Sciences, Computer Science, Physics +10