{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T12:12:43Z","timestamp":1768911163730,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642389856","type":"print"},{"value":"9783642389863","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38986-3_16","type":"book-chapter","created":{"date-parts":[[2013,6,28]],"date-time":"2013-06-28T20:54:03Z","timestamp":1372452843000},"page":"196-208","source":"Crossref","is-referenced-by-count":29,"title":["White Dots do Matter: Rewriting Reversible Logic Circuits"],"prefix":"10.1007","author":[{"given":"Mathias","family":"Soeken","sequence":"first","affiliation":[]},{"given":"Michael Kirkedal","family":"Thomsen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Abdessaied, N., Soeken, M., Wille, R., Drechsler, R.: Exact template matching using Boolean satisfiability. In: Int\u2019l. Symp. on Multiple-Valued Logic, ISMVL (2013)","DOI":"10.1109\/ISMVL.2013.26"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Arabzadeh, M., Saeedi, M., Zamani, M.S.: Rule-based optimization of reversible circuits. In: Asia and South-Pacific Design Automation Conference, ASP-DAC, pp. 849\u2013854 (2010)","DOI":"10.1109\/ASPDAC.2010.5419684"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-36315-3_14","volume-title":"Reversible Computation","author":"H.B. Axelsen","year":"2013","unstructured":"Axelsen, H.B., Thomsen, M.K.: Garbage-free reversible integer multiplication with constants of the form 2\n                    k\n                  \u00b12\n                    l\n                  \u00b11. In: Gl\u00fcck, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol.\u00a07581, pp. 171\u2013182. Springer, Heidelberg (2013)"},{"key":"16_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172752","volume-title":"Term rewriting and all that","author":"F. Baader","year":"1998","unstructured":"Baader, F., Nipkow, T.: Term rewriting and all that. Cambridge University Press, New York (1998)"},{"key":"16_CR5","unstructured":"Cuccaro, S.A., Draper, T.G., Kutin, S.A., Moulton, D.P.: A new quantum ripple-carry addition circuit arXiv:quant-ph\/0410184v1 (2005)"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1364\/ON.11.2.000011","volume":"11","author":"R.P. Feynman","year":"1985","unstructured":"Feynman, R.P.: Quantum mechanical computers. Optics News\u00a011, 11\u201320 (1985)","journal-title":"Optics News"},{"issue":"3-4","key":"16_CR7","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF01857727","volume":"21","author":"E. Fredkin","year":"1982","unstructured":"Fredkin, E., Toffoli, T.: Conservative logic. International Journal of Theoretical Physics\u00a021(3-4), 219\u2013253 (1982)","journal-title":"International Journal of Theoretical Physics"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Iwama, K., Kambayashi, Y., Yamashita, S.: Transformation rules for designing cnot-based quantum circuits. In: Design Automation Conference, DAC 2002, pp. 419\u2013424. ACM (2002)","DOI":"10.1109\/DAC.2002.1012662"},{"issue":"3","key":"16_CR9","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1147\/rd.53.0183","volume":"5","author":"R. Landauer","year":"1961","unstructured":"Landauer, R.: Irreversibility and heat generation in the computing process. IBM Journal of Research and Development\u00a05(3), 183\u2013191 (1961)","journal-title":"IBM Journal of Research and Development"},{"key":"16_CR10","unstructured":"Maslov, D., Miller, D.M., Dueck, G.W.: Fredkin\/Toffoli templates for reversible logic synthesis. In: Int\u2019l Conf. on Computer Aided Design, ICCAD, pp. 256\u2013261 (2003)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Miller, D.M., Maslov, D., Dueck, G.W.: A transformation based algorithm for reversible logic synthesis. In: Design Automation Conference, DAC, pp. 318\u2013323 (2003)","DOI":"10.1145\/775914.775915"},{"issue":"2","key":"16_CR12","doi-asserted-by":"publisher","first-page":"183","DOI":"10.3934\/amc.2008.2.183","volume":"2","author":"Y.V. Regergem","year":"2008","unstructured":"Regergem, Y.V., Vos, A.D.: Young subgroups for reversible computers. Advances in Mathematics of Communications\u00a02(2), 183\u2013200 (2008)","journal-title":"Advances in Mathematics of Communications"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Soeken, M., Wille, R., Hilken, C., Przigoda, N., Drechsler, R.: Synthesis of reversible circuits with minimal lines for large functions. In: Asia and South-Pacific Design Automation Conference, ASP-DAC, pp. 85\u201392 (2012)","DOI":"10.1109\/ASPDAC.2012.6165069"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-34407-7_10","volume-title":"Implementation and Application of Functional Languages","author":"M.K. Thomsen","year":"2012","unstructured":"Thomsen, M.K.: Describing and optimising reversible logic using a functional language. In: Gill, A., Hage, J. (eds.) IFL 2011. LNCS, vol.\u00a07257, pp. 148\u2013163. Springer, Heidelberg (2012)"},{"key":"16_CR15","unstructured":"Thomsen, M.K.: A functional language for describing reversible logic. In: Specification & Design Languages, FDL, pp. 135\u2013142. IEEE (2012)"},{"issue":"38","key":"16_CR16","doi-asserted-by":"publisher","first-page":"382002","DOI":"10.1088\/1751-8113\/43\/38\/382002","volume":"43","author":"M.K. Thomsen","year":"2010","unstructured":"Thomsen, M.K., Gl\u00fcck, R., Axelsen, H.B.: Reversible arithmetic logic unit for quantum arithmetic. Journal of Physics A: Mathematical and Theoretical\u00a043(38), 382002 (2010)","journal-title":"Journal of Physics A: Mathematical and Theoretical"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Toffoli, T.: Reversible computing. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 632\u2013644. Springer (1980)","DOI":"10.1007\/3-540-10003-2_104"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"3555","DOI":"10.1088\/0305-4470\/38\/16\/007","volume":"38","author":"Y. Rentergem Van","year":"2005","unstructured":"Van Rentergem, Y., De Vos, A., Storme, L.: Implementing an arbitrary reversible logic gate. Journal of Physics A: Mathematical and General\u00a0(38), 3555\u20133577 (2005)","journal-title":"Journal of Physics A: Mathematical and General"},{"issue":"1","key":"16_CR19","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1103\/PhysRevA.54.147","volume":"54","author":"V. Vedral","year":"1996","unstructured":"Vedral, V., Barenco, A., Ekert, A.: Quantum networks for elementary arithmetic operations. Physical Review A\u00a054(1), 147\u2013153 (1996)","journal-title":"Physical Review A"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Wille, R., Offermann, S., Drechsler, R.: SyReC: A programming language for synthesis of reversible circuits. In: Specification & Design Languages, FDL, pp. 1\u20136. IET (2010)","DOI":"10.1049\/ic.2010.0150"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Yokoyama, T., Axelsen, H.B., Gl\u00fcck, R.: Principles of a reversible programming language. In: Conference on Computing Frontiers, CF, pp. 43\u201354. ACM Press (2008)","DOI":"10.1145\/1366230.1366239"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38986-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T02:06:19Z","timestamp":1557885979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38986-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642389856","9783642389863"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38986-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}