Theory of Reversible Computing

✍ Kenichi Morita (auth.) 📂 Library 📅 2017 🏛 Springer Japan 🌐 English

This book describes reversible computing from the standpoint of the theory of automata and computing. It investigates how reversibility can be effectively utilized in computing. A reversible computing system is a “backward deterministic” system such that every state of the system has at most o

Theory of reversible computing

📁 Theory of reversible computing

✍ Henzinger, Monika; Hromkovič, Juraj; Morita, Ken'ichi; Nielsen, Mogens 📂 Library 📅 2017 🏛 Springer 🌐 English

Reverse Mathematics: Problems, Reduction

📁 Reverse Mathematics: Problems, Reductions, and Proofs (Theory and Applications of Computability)

✍ Damir D. Dzhafarov, Carl Mummert 📂 Library 📅 2022 🏛 Springer 🌐 English

Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a computer solve this problem? A highly active part of mathematical logic and computability

Reverse Mathematics: Problems, Reduction

📁 Reverse Mathematics: Problems, Reductions, and Proofs (Theory and Applications of Computability)

✍ Damir D. Dzhafarov, Carl Mummert 📂 Library 📅 2022 🏛 Springer 🌐 English

Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a computer solve this problem? A highly active part of mathematical logic and computability

Reversible and DNA Computing

📁 Reversible and DNA Computing

✍ Hafiz M. D. Hasan Babu 📂 Library 🌐 English

Introduction to Reversible Computing

📁 Introduction to Reversible Computing

✍ Perumalla, Kalyan S. 📂 Library 📅 2013 🏛 CRC Press 🌐 English

Few books comprehensively cover the software and programming aspects of reversible computing. Filling this gap, **Introduction to Reversible Computing** offers an expanded view of the field that includes the traditional energy-motivated hardware viewpoint as well as the emerging application-motivate