{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:35:42Z","timestamp":1725557742322},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135224"},{"type":"electronic","value":"9783642135231"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13523-1_6","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T00:34:26Z","timestamp":1277253266000},"page":"21-31","source":"Crossref","is-referenced-by-count":2,"title":["Reversibility and Determinism in Sequential Multiset Rewriting"],"prefix":"10.1007","author":[{"given":"Artiom","family":"Alhazov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudolf","family":"Freund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenichi","family":"Morita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-540-95885-7_7","volume-title":"Membrane Computing","author":"O. Agrigoroaiei","year":"2009","unstructured":"Agrigoroaiei, O., Ciobanu, G.: Dual P Systems. In: Corne, D.W., Frisco, P., Paun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol.\u00a05391, pp. 95\u2013107. Springer, Heidelberg (2009)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Alhazov, A., Morita, K.: On Reversibility and Determinism in P Systems. In: P\u0103un, G., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A. (eds.) Preproc. of Membrane Computing - 10th International Workshop, pp. 129\u2013139","DOI":"10.1007\/978-3-642-11467-0_12"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"C.H. Bennett","year":"1973","unstructured":"Bennett, C.H.: Logical Reversibility of Computation. IBM Journal of Research and Development\u00a017, 525\u2013532 (1973)","journal-title":"IBM Journal of Research and Development"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/j.biosystems.2004.05.032","volume":"77","author":"C. Calude","year":"2004","unstructured":"Calude, C., P\u0103un, G.: Bio-steps beyond Turing. BioSystems\u00a077, 175\u2013194 (2004)","journal-title":"BioSystems"},{"key":"6_CR5","volume-title":"EATCS Monographs in Theoretical Computer Science","author":"J. Dassow","year":"1989","unstructured":"Dassow, J., P\u0103un, G.: Regulated Rewriting in Formal Language Theory. In: EATCS Monographs in Theoretical Computer Science, vol.\u00a018. Springer, Heidelberg (1989)"},{"key":"6_CR6","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. Int. J. Theoret. Phys.\u00a021, 219\u2013253 (1982)","journal-title":"Int. J. Theoret. Phys."},{"key":"6_CR7","unstructured":"Freund, R., Ibarra, O.H., P\u0103un, G., Yen, H.-C.: Matrix languages, register machines, vector addition systems. In: Proc. Third Brainstorming Week on Membrane Computing, Sevilla, pp. 155\u2013168 (2005)"},{"key":"6_CR8","unstructured":"Ibarra, O.H.: On Strong Reversibility in P Systems and Related Problems (manuscript)"},{"issue":"4","key":"6_CR9","first-page":"529","volume":"74","author":"A. Leporati","year":"2006","unstructured":"Leporati, A., Zandron, C., Mauri, G.: Reversible P Systems to Simulate Fredkin Circuits. Fundam. Inform.\u00a074(4), 529\u2013548 (2006)","journal-title":"Fundam. Inform."},{"key":"6_CR10","volume-title":"Computation: Finite and Infinite Machines","author":"M.L. Minsky","year":"1967","unstructured":"Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs (1967)"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/S0304-3975(96)00081-3","volume":"168","author":"K. Morita","year":"1996","unstructured":"Morita, K.: Universality of a Reversible Two-Counter Machine. Theoret. Comput. Sci.\u00a0168, 303\u2013320 (1996)","journal-title":"Theoret. Comput. Sci."},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-45132-3_6","volume-title":"Machines, Computations, and Universality","author":"K. Morita","year":"2001","unstructured":"Morita, K.: A Simple Reversible Logic Element and Cellular Automata for Reversible Computing. In: Margenstern, M., Rogozhin, Y. (eds.) MCU 2001. LNCS, vol.\u00a02055, p. 102. Springer, Heidelberg (2001)"},{"key":"6_CR13","first-page":"159","volume":"2","author":"K. Morita","year":"2007","unstructured":"Morita, K.: Simple Universal One-Dimensional Reversible Cellular Automata. J. Cellular Automata\u00a02, 159\u2013165 (2007)","journal-title":"J. Cellular Automata"},{"issue":"5","key":"6_CR14","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s002360050091","volume":"34","author":"K. Morita","year":"1997","unstructured":"Morita, K., Nishihara, N., Yamamoto, Y., Zhang, Z.: A Hierarchy of Uniquely Parsable Grammar Classes and Deterministic Acceptors. Acta Inf.\u00a034(5), 389\u2013410 (1997)","journal-title":"Acta Inf."},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-540-74593-8_8","volume-title":"Machines, Computations, and Universality","author":"K. Morita","year":"2007","unstructured":"Morita, K., Yamaguchi, Y.: A Universal Reversible Turing Machine. In: Durand-Lose, J., Margenstern, M. (eds.) MCU 2007. LNCS, vol.\u00a04664, pp. 90\u201398. Springer, Heidelberg (2007)"},{"key":"6_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing. An Introduction","author":"G. P\u0103un","year":"2002","unstructured":"P\u0103un, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)"},{"key":"6_CR17","unstructured":"P systems webpage, \n                    \n                      http:\/\/ppage.psystems.eu\/"}],"container-title":["Lecture Notes in Computer Science","Unconventional Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13523-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:06:19Z","timestamp":1619769979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13523-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135224","9783642135231"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13523-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}