TY - BOOK
T1 - A Representation-Theoretic Approach to Reversible Computation with Applications
AU - Maniotis, Andreas Milton
PY - 2015
Y1 - 2015
N2 - Reversible computing is a sub-discipline of computer science that helps to understand the foundations of the interplay between physics, algebra, and logic in the context of computation. Its subjects of study are computational devices and abstract models of computation that satisfy the constraint of information conservation. Such machine models, which are known as reversible models of computation, have been examined both from a theoretical perspective and from an engineering perspective. While a bundle of many isolated successful findings and applications concerning reversible computing exists, there is still no uniform and consistent theory that is general in the sense of giving a model-independent account to the field.
AB - Reversible computing is a sub-discipline of computer science that helps to understand the foundations of the interplay between physics, algebra, and logic in the context of computation. Its subjects of study are computational devices and abstract models of computation that satisfy the constraint of information conservation. Such machine models, which are known as reversible models of computation, have been examined both from a theoretical perspective and from an engineering perspective. While a bundle of many isolated successful findings and applications concerning reversible computing exists, there is still no uniform and consistent theory that is general in the sense of giving a model-independent account to the field.
UR - https://soeg.kb.dk/permalink/45KBDK_KGL/fbp0ps/alma99122016271805763
M3 - Ph.D. thesis
BT - A Representation-Theoretic Approach to Reversible Computation with Applications
PB - Department of Computer Science, Faculty of Science, University of Copenhagen
ER -