{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:27:08Z","timestamp":1725460028794},"publisher-location":"Boston","reference-count":22,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402081405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-8141-3_8","type":"book-chapter","created":{"date-parts":[[2006,2,21]],"date-time":"2006-02-21T15:15:11Z","timestamp":1140534911000},"page":"67-80","source":"Crossref","is-referenced-by-count":2,"title":["Reversible Circuit Realizations of Boolean Functions"],"prefix":"10.1007","author":[{"given":"Alex","family":"Brodsky","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"D. Barrington. Bounded-width polynomial-size branching programs recognize exactly those languages in NC 1. In Proceedings of the 18th Annual ACM Symposium on Theory of Computing, pages 1\u20135, 1986.","DOI":"10.1145\/12130.12131"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"3457","DOI":"10.1103\/PhysRevA.52.3457","volume":"52","author":"A. Barenco","year":"1995","unstructured":"A. Barenco, C. Bennett, D. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J. Smolin, and H. Weinfurter. Quantum gates and circuits. Phys. Rev. A., 52:3457\u20133467, 1995.","journal-title":"Phys. Rev. A."},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1147\/rd.176.0525","volume":"17","author":"C. Bennett","year":"1973","unstructured":"C. Bennett. Logical reversibility of computation. IBM Journal of Research and Development, 17:198\u2013200, 1973.","journal-title":"IBM Journal of Research and Development"},{"issue":"4","key":"8_CR4","doi-asserted-by":"publisher","first-page":"766","DOI":"10.1137\/0218053","volume":"18","author":"C. Bennett","year":"1989","unstructured":"C. Bennett. Time\/space trade-offs for reversible computation. SIAM Journal on Computing, 18(4):766\u2013776, 1989.","journal-title":"SIAM Journal on Computing"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"H. Buhrman, J. Tromp, and P. Vit\u00e1nyi Time and space bounds for reversible simulation. In arXiv:quant-ph\/0101133, 2001.","DOI":"10.1007\/3-540-48224-5_82"},{"issue":"4","key":"8_CR6","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1137\/0129051","volume":"29","author":"D. Coppersmith","year":"1975","unstructured":"D. Coppersmith and E. Grossman. Generators for certain alternating groups with applications to cryptogaphy. SIAM Journal on Applied Mathematics, 29(4):624\u2013627, 1975.","journal-title":"SIAM Journal on Applied Mathematics"},{"key":"8_CR7","unstructured":"R. Cleve. Complexity theoretic issues concerning block ciphers related to D.E.S. In A. J. Menezes and S. A. Vanstone, editors, Advances in Cryptology\u2014CRYPTO\u2019 90, volume 537 of Lecture Notes in Computer Science, pages 530\u2013544. Springer-Verlag, 1990."},{"key":"8_CR8","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1098\/rspa.1989.0099","volume":"425","author":"D. Deutsch","year":"1989","unstructured":"D. Deutsch. Quantum computational networks. Proceedings of the Royal Society of London, Series A, 425:73\u201390, 1989.","journal-title":"Proceedings of the Royal Society of London, Series A"},{"issue":"6","key":"8_CR9","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1109\/TIT.1983.1056752","volume":"29","author":"S. Even","year":"1983","unstructured":"S. Even and O. Goldreich. DES-like functions can generate the alternating group. IEEE Trans. on Information Theory, 29(6):863\u2013865, 1983.","journal-title":"IEEE Trans. on Information Theory"},{"issue":"6","key":"8_CR10","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/BF01886518","volume":"16","author":"F. Feynman","year":"1986","unstructured":"F. Feynman. Quantum mechanical computers. Foundations of Physics, 16(6): 507\u2013531, 1986.","journal-title":"Foundations of Physics"},{"issue":"3\/4","key":"8_CR11","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF01857727","volume":"21","author":"E. Fredkin","year":"1982","unstructured":"E. Fredkin and T. Toffoli. Conservative logic. International Journal of Theoretical Physics, 21(3\/4):219\u2013253, 1982.","journal-title":"International Journal of Theoretical Physics"},{"key":"8_CR12","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1109\/TCE.1953.6371932","volume":"72","author":"M. Karnaugh","year":"1953","unstructured":"M. Karnaugh. The map method for synthesis of combinational logic circuits. AIEE Transactions. Part I Communication and Electronics, 72:593\u2013599, 1953.","journal-title":"AIEE Transactions. Part I Communication and Electronics"},{"key":"8_CR13","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1147\/rd.53.0183","volume":"5","author":"R. Landauer","year":"1961","unstructured":"R. Landauer. Irreversibility and heat generation in the computing process. IBM Journal of Research and Development, 5:183\u2013191, 1961.","journal-title":"IBM Journal of Research and Development"},{"issue":"2","key":"8_CR14","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1006\/jcss.1999.1672","volume":"60","author":"K. Lange","year":"2000","unstructured":"K. Lange, P. McKenzie, and A. Tapp. Reversible space equals deterministic space. Journal of Computer and System Sciences, 60(2):354\u2013367, 2000.","journal-title":"Journal of Computer and System Sciences"},{"issue":"4","key":"8_CR15","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1137\/0219046","volume":"19","author":"R. Levine","year":"1990","unstructured":"R. Levine and A. Sherman. A note on Bennett\u2019s time-space tradeoff for reversible computation. SIAM Journal on Computing, 19(4):673\u2013677, 1990.","journal-title":"SIAM Journal on Computing"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/S0167-2789(98)00052-9","volume":"120","author":"M. Li","year":"1998","unstructured":"M. Li, J. Tromp, and P. Vit\u00e1nyi. Reversible simulation of irreversible computation. Physica D, 120:168\u2013176, 1998.","journal-title":"Physica D"},{"key":"8_CR17","unstructured":"M. Li and P. Vit\u00e1nyi. Reversible simulation of irreversible computation. In Proceedings of the 11th IEEE Computational Complexity Conference, pages 306\u2013306, 1996. Submitted to Physica D, 1997."},{"key":"8_CR18","volume-title":"Theory of Heat","author":"J. Maxwell","year":"1871","unstructured":"J. Maxwell. Theory of Heat. Longmans, Green and Co., London, 1871."},{"issue":"3","key":"8_CR19","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1002\/j.1538-7305.1948.tb01338.x","volume":"27","author":"C. Shannon","year":"1948","unstructured":"C. Shannon. A mathematical theory of communication. The Bell System Technical Journal, 27(3):379\u2013423, 1948.","journal-title":"The Bell System Technical Journal"},{"issue":"5","key":"8_CR20","doi-asserted-by":"publisher","first-page":"1484","DOI":"10.1137\/S0097539795293172","volume":"26","author":"P. Shor","year":"1997","unstructured":"P. Shor. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Journal on Computing, 26(5):1484\u20131509, 1997.","journal-title":"SIAM Journal on Computing"},{"key":"8_CR21","volume-title":"A Mathematical Theory of Communication","author":"C. Shannon","year":"1949","unstructured":"C. Shannon and W. Weaver. A Mathematical Theory of Communication. University of Illinois Press, Urbana, Illinois, 1949."},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"829","DOI":"10.1007\/BF01341281","volume":"53","author":"L. Szilard","year":"1929","unstructured":"L. Szilard. \u00dcber die Entropieverminderung in einem thermodynamischen System bei eingriffen intelligenter wesen. Zeitschrift f\u00fcr Physik, 53:829\u2013856, 1929.","journal-title":"Zeitschrift f\u00fcr Physik"}],"container-title":["IFIP International Federation for Information Processing","Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8141-3_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:28:27Z","timestamp":1619555307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8141-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402081405"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8141-3_8","relation":{},"subject":[]}}