{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T15:24:16Z","timestamp":1770564256830,"version":"3.49.0"},"publisher-location":"London","reference-count":27,"publisher":"Springer London","isbn-type":[{"value":"9781852335403","type":"print"},{"value":"9781447101291","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/978-1-4471-0129-1_3","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T14:11:06Z","timestamp":1310998266000},"page":"47-81","source":"Crossref","is-referenced-by-count":71,"title":["Conservative Logic"],"prefix":"10.1007","author":[{"given":"Edward","family":"Fredkin","sequence":"first","affiliation":[]},{"given":"Tommaso","family":"Toffoli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Atoms and Information Theory","author":"R Baierlein","year":"1971","unstructured":"BAIERLEIN, Ralph, Atoms and Information Theory, W.H. Freeman 1971."},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1103\/PhysRevD.23.287","volume":"23","author":"J Bekenstein","year":"1981","unstructured":"BEKENSTEIN, Jacob, \u201cUniversal upper bound to entropy-to-energy ratio for bounded systems\u201d, Physical Review D 23 (1981), 287\u2013298.","journal-title":"Physical Review D"},{"key":"3_CR3","first-page":"623","volume":"46","author":"J Bekenstein","year":"1981","unstructured":"BEKENSTEIN Jacob, \u201cEnergy cost of information transfer\u201d, Physical Review Letters 46 (1981), 623\u2013626.","journal-title":"\u201cEnergy cost of information transfer\u201d"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/BF01011339","volume":"22","author":"P Benioff","year":"1980","unstructured":"BENIOFF Paul., \u201cThe computer as a physical system: a microscopic quantum mechanical Hamiltoman model of computers as represented by Turing machines\u201d, Journal of Statistical Physics 22 (1980), 563\u2013591.","journal-title":"Journal of Statistical Physics"},{"key":"3_CR5","first-page":"525","volume":"6","author":"CH Bennett","year":"1973","unstructured":"BENNETT, Charles H., \u201cLogical reversibility of computation\u201d, IBM Journal of Research and Development 6 (1973), 525\u2013532.","journal-title":"\u201cLogical reversibility of computation\u201d"},{"key":"3_CR6","first-page":"85","volume":"11","author":"CH Bennett","year":"1979","unstructured":"BENNETT Charles H., \u201cDissipation-error tradeoff in proofreading\u201d, BioSystems 11 (1979), 85\u201391.","journal-title":"\u201cDissipation-error tradeoff in proofreading\u201d"},{"key":"3_CR7","unstructured":"FEYNMAN, Richard, Lectures on Physics, vol. I, Addison-Wesley 1963."},{"key":"3_CR8","volume-title":"\u201cDesign principles for achieving high-performance submicron digital technologies\u201d","author":"E Fredkin","year":"1978","unstructured":"FREDKIN, Edward, and Tommaso TOFFOLI, \u201cDesign principles for achieving high-performance submicron digital technologies\u201d, Proposal to DARPA (November 1978), MIT Laboratory for Computer Science [reprinted in the present collection]."},{"key":"3_CR9","first-page":"95","volume":"47","author":"H Haken","year":"1975","unstructured":"HAKEN, Hermann, \u201cCooperative phenomena\u201d, Reviews of Modern Physics 47 (1975), 95.","journal-title":"\u201cCooperative phenomena\u201d"},{"key":"3_CR10","first-page":"277","volume":"SC-9","author":"DJ Herrell","year":"1974","unstructured":"HERRELL, Dennis J., \u201cFemtojoule Josephson tunnelling logic gates\u201d, IEEE Journal of Solid Stale Circuits SC-9 (1974), 277\u2013282.","journal-title":"\u201cFemtojoule Josephson tunnelling logic gates\u201d"},{"key":"3_CR11","volume-title":"Principles of Statistical Mechanics","author":"A Katz","year":"1967","unstructured":"KATZ, Amnon, Principles of Statistical Mechanics The information theory approach, W.H. Freeman 1967."},{"key":"3_CR12","first-page":"1017","volume":"C-26","author":"RW Keyes","year":"1977","unstructured":"KEYES, Robert W., \u201cPhysical uncertainty and information\u201d, IEEE Transactions on Computers C-26 (1977), 1017\u20131025.","journal-title":"\u201cPhysical uncertainty and information\u201d"},{"key":"3_CR13","first-page":"247","volume":"C-25","author":"K Kinoshita","year":"1976","unstructured":"KINOSHITA, K., S. TSUTOMU, and M. JUN, \u201cOn magnetic bubble circuits\u201d, IEEE Transactions on Computers C-25 (1976), 247\u2013253.","journal-title":"\u201cOn magnetic bubble circuits\u201d"},{"key":"3_CR14","unstructured":"LANDAU, Lev D., and E. M. LIFSHITZ, Mechanics, Pergamon Press 1960."},{"key":"3_CR15","first-page":"183","volume":"5","author":"R Landauer","year":"1961","unstructured":"LANDAUER, Rolf, \u201cIrreversibility and heat generation in the computing process\u201d, IBM Journal of Research and Development 5 (1961), 183\u2013191.","journal-title":"\u201cIrreversibility and heat generation in the computing process\u201d"},{"key":"3_CR16","first-page":"105","volume":"4","author":"R Landauer","year":"1967","unstructured":"LANDAUER, Rolf, \u201cWanted: a physically possible theory of physics\u201d, IEEE Spectrum 4 (1967), 105\u2013109.","journal-title":"\u201cWanted: a physically possible theory of physics\u201d"},{"key":"3_CR17","first-page":"1041","volume":"80","author":"R Landauer","year":"1976","unstructured":"LANDAUER, Rolf, \u201cFundamental limitations in the computational process\u201d Berichte der Bunsengesellschaft f\u00fcr Physikalische Chemie 80 (1976), 1041\u20131256.","journal-title":"\u201cFundamental limitations in the computational process\u201d"},{"key":"3_CR18","unstructured":"OHANIAN, H.C., Gravitatior and Spacetime Norton 1976."},{"key":"3_CR19","volume-title":"\u201cGrunds\u00e4tzliches zur Beischreibung diskreter Prozesse\u201d","author":"CA Petri","year":"1967","unstructured":"PETRI, Carl Adam, \u201cGrunds\u00e4tzliches zur Beischreibung diskreter Prozesse\u201d, 3. Colloquium \u00fcber Automatentheorie Birkhauser 1967."},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1080\/01969727608927527","volume":"6","author":"L Priese","year":"1976","unstructured":"PRIESE, Lutz, \u201cOn a simple combinatorial structure sufficient for sublying nontrivial self-reproduction\u201d, Journal of Cybernetics 6 (1976), 101\u2013137","journal-title":"Journal of Cybernetics"},{"key":"3_CR21","unstructured":"RESSLER, Andy, \u201cThe design of a conservative logic computer and a graphical editor simulator\u201d, M. S. Thesis (January 1981), MIT, EECS Department."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"SHANNON, Claude E., \u201cA mathematical theory of communication\u201d, Bell Systems Technical Journal 27 (1948), 379\u2013423 and 623\u2013656.","DOI":"10.1002\/j.1538-7305.1948.tb00917.x"},{"key":"3_CR23","first-page":"213","volume":"15","author":"T Toffoli","year":"1977","unstructured":"TOFFOLI, Tommaso, \u201cComputation and construction universality of reversible cellular automata\u201d, J. Comp. Comm. Sci. 15 (1977), 213\u2013231.","journal-title":"J. Comp. Comm. Sci"},{"key":"3_CR24","unstructured":"TOFFOLI, Tommaso, \u201cCellular automata mechanics\u201d, Technical Report No. 208 (November 1977), Logic of Computers Group, CCS Department, University of Michigan."},{"key":"3_CR25","first-page":"632","volume-title":"Seventh Colloquium on Automata, Languages","author":"T Toffoli","year":"1980","unstructured":"TOFFOLI, Tommaso, \u201cReversible computing\u201d, Technical Memo MIT\/LCS\/TM151 (February 1980), MIT Laboratory for Computer Science; an abridged version of this paper appeared under the same title in Seventh Colloquium on Automata, Languages and Programming, J.W. DE BAKKER and J. VAN LEEUWEN, eds., Springer 1980, 632\u2013644."},{"key":"3_CR26","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BF01752388","volume":"14","author":"T Toffoli","year":"1981","unstructured":"TOFFOLI, Tommaso. \u201cBicontinuous extensions of invertible combinatorial functions\u201d, Mathematical Systems Theory 14 (1981), 13\u201323.","journal-title":"Mathematical Systems Theory"},{"key":"3_CR27","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1112\/plms\/s2-43.6.544","volume":"43","author":"AM Turing","year":"1936","unstructured":"TURING, Alan M., \u201cOn computable numbers, with an application to the entscheidungs problem\u201d, Proceedings of the London Mathematical Society Ser. 2 43 (1936), 544\u2013546.","journal-title":"Proceedings of the London Mathematical Society Ser. 2"}],"container-title":["Collision-Based Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0129-1_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T05:37:13Z","timestamp":1605677833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0129-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9781852335403","9781447101291"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0129-1_3","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}