@article(Ben73, author = "C. H. Bennett", year = "1973", title = "Logical reversibility of computation", journal = "IBM J. Res. Dev.", volume = "17", pages = "525--532", doi = "10.1147/rd.176.0525", ) @article(BP80, author = "H.K. {B\"uning} and L. Priese", year = "1980", title = "Universal asynchronous iterative arrays of Mealy automata", journal = "Acta Informatica", volume = "13", pages = "269--285", doi = "10.1007/BF00288646", ) @article(FT82, author = "E. Fredkin and T. Toffoli", year = "1982", title = "Conservative logic", journal = "Int. J. Theoret. Phys.", volume = "21", pages = "219--253", doi = "10.1007/BF01857727", ) @article(Kel74, author = "R.M. Keller", year = "1974", title = "Towards a theory of universal speed-independent modules", journal = "IEEE Trans. Computers", volume = "C-23", pages = "21--33", doi = "10.1109/T-C.1974.223773", ) @inproceedings(LPAM08R, author = "J. Lee and F. Peper and S. Adachi and K. Morita", year = "2008", title = "An asynchronous cellular automaton implementing 2-state 2-input 2-output reversed-twin reversible elements", booktitle = "Proc. ACRI 2008, {\rm LNCS 5191}", publisher = "Springer-Verlag", pages = "67--76", doi = "10.1007/978-3-540-79992-4\_9", ) @inproceedings(Mor01R, author = "K. Morita", year = "2001", title = "A simple reversible logic element and cellular automata for reversible computing", booktitle = "Proc. 3rd Int. Conf. on Machines, Computations, and Universality, {\rm LNCS 2055}", publisher = "Springer-Verlag", pages = "102--113", doi = "10.1007/3-540-45132-3\_6", ) @incollection(Mor03R, author = "K. Morita", year = "2003", title = "A new universal logic element for reversible computing", booktitle = "Grammars and Automata for String Processing {\rm (eds. C. Martin-Vide, and V. Mitrana)}", publisher = "Taylor \& Francis, London", pages = "285--294", doi = "10.1201/9780203009642.ch28", ) @article(Mor08, author = "K. Morita", year = "2008", title = "Reversible computing and cellular automata --- {A} survey", journal = "Theoret. Comput. Sci.", volume = "395", pages = "101--131", doi = "10.1016/j.tcs.2008.01.041", ) @misc(Mor10R, author = "K. Morita", year = "2010", title = "Constructing a reversible {Turing} machine by a rotary element, a reversible logic element with memory", howpublished = "Hiroshima University Institutional Repository, \url {http://ir.lib.hiroshima-u.ac.jp/00029224}", ) @book(Mor12, author = "K. Morita", year = "2012", title = "Reversible Computing {\rm (in Japanese)}", publisher = "Kindai Kagaku-sha Co., Ltd., Tokyo, ISBN978-4-7649-0422-4", ) @article(MOAT12, author = "K. Morita and T. Ogiro and A. Alhazov and T. Tanizawa", year = "2012", title = "Non-degenerate 2-state reversible logic elements with three or more symbols are all universal", journal = "J. Multiple-Valued Logic and Soft Computing", volume = "18", pages = "37--54", ) @inproceedings(MOTK05R, author = "K. Morita and T. Ogiro and K. Tanaka and H. Kato", year = "2005", title = "Classification and universality of reversible logic elements with one-bit memory", booktitle = "Proc. 4th Int. Conf. on Machines, Computations, and Universality, {\rm LNCS 3354}", publisher = "Springer-Verlag", pages = "245--256", doi = "10.1007/978-3-540-31834-7\_20", ) @misc(MM11R, author = "Y. Mukai and K. Morita", year = "2011", title = "Universality of 2-symbol reversible logic elements with memory (in {Japanese})", howpublished = "LA Summer Symposium, {\rm Kosai, Sizuoka Prefecture}", ) @misc(MM12R, author = "Y. Mukai and K. Morita", year = "2012", title = "Hierarchy of reversible logic elements with memory (in {Japanese})", howpublished = "LA Winter Symposium, {\rm Kyoto}, \url {http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1799-28.pdf}", ) @article(MM12, author = "Y. Mukai and K. Morita", year = "2012", title = "Realizing reversible logic elements with memory in the billiard ball model", journal = "Int. J. of Unconventional Computing", volume = "8", number = "1", pages = "47--59", ) @article(Tof77, author = "T. Toffoli", year = "1977", title = "Computation and construction universality of reversible cellular automata", journal = "J. Comput. Syst. Sci.", volume = "15", pages = "213--231", doi = "10.1016/S0022-0000(77)80007-X", ) @inproceedings(Tof80, author = "T. Toffoli", year = "1980", title = "Reversible computing", booktitle = "Automata, Languages and Programming, {\rm LNCS 85}", publisher = "Springer-Verlag", pages = "632--644", doi = "10.1007/3-540-10003-2\_104", ) @article(Tof81, author = "T. Toffoli", year = "1981", title = "Bicontinuous extensions of invertible combinatorial functions", journal = "Math. Syst. Theory", volume = "14", pages = "12--23", doi = "10.1007/BF01752388", )