{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:41:14Z","timestamp":1725543674834},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642114663"},{"type":"electronic","value":"9783642114670"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11467-0_31","type":"book-chapter","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T10:49:33Z","timestamp":1263898173000},"page":"461-478","source":"Crossref","is-referenced-by-count":9,"title":["An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Valsecchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio E.","family":"Porreca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Leporati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giancarlo","family":"Mauri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Zandron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"31_CR1","first-page":"67","volume":"58","author":"A. Alhazov","year":"2003","unstructured":"Alhazov, A., Mart\u00edn-Vide, C., Pan, L.: Solving a PSPACE-complete problem by recognizing P\u00a0systems with restricted active membranes. Fundamenta Informaticae\u00a058(2), 67\u201377 (2003)","journal-title":"Fundamenta Informaticae"},{"key":"31_CR2","first-page":"81","volume-title":"Membrane Computing","author":"A. Alhazov","year":"2005","unstructured":"Alhazov, A., Freund, R.: On the efficiency of P\u00a0systems with active membranes and two polarizations. In: Mauri, G., et al. (eds.) Membrane Computing, pp. 81\u201394. Springer, Heidelberg (2005)"},{"key":"31_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-79235-9","volume-title":"Structural Complexity I","author":"J.L. Balc\u00e1zar","year":"1995","unstructured":"Balc\u00e1zar, J.L., D\u00edaz, J., Gabarr\u00f3, J.: Structural Complexity I, 2nd edn. Springer, Heidelberg (1995)","edition":"2"},{"key":"31_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/11560319_11","volume-title":"Unconventional Computation","author":"M.A. Guti\u00e9rrez-Naranjo","year":"2005","unstructured":"Guti\u00e9rrez-Naranjo, M.A., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A., Romero-Campero, F.J.: P\u00a0systems with active membranes, without polarizations and without dissolution: A characterization of P. In: Calude, C.S., Dinneen, M.J., P\u0103un, G., Jes\u00fas P\u00e9rez-J\u00edmenez, M., Rozenberg, G. (eds.) UC 2005. LNCS, vol.\u00a03699, pp. 105\u2013116. Springer, Heidelberg (2005)"},{"key":"31_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/11603047_16","volume-title":"Membrane Computing","author":"M.-A. Guti\u00e9rrez-Naranjo","year":"2006","unstructured":"Guti\u00e9rrez-Naranjo, M.-A., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A., Romero-Campero, F.J.: On the power of dissolution in P\u00a0systems with active membranes. In: Freund, R., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol.\u00a03850, pp. 224\u2013240. Springer, Heidelberg (2006)"},{"key":"31_CR6","series-title":"Machine Perception and Artificial Intelligence","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1142\/9789812773036_0009","volume-title":"Formal Models, Languages and Applications","author":"M.A. Guti\u00e9rrez-Naranjo","year":"2006","unstructured":"Guti\u00e9rrez-Naranjo, M.A., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A., Romero-Campero, F.J., Romero-Jim\u00e9nez, A.: Characterizing tractability by cell-like membrane systems. In: Subramanian, K.G., Rangarajan, K., Mukund, M. (eds.) Formal Models, Languages and Applications. Machine Perception and Artificial Intelligence, vol.\u00a066, pp. 137\u2013154. World Scientific, Singapore (2006)"},{"key":"31_CR7","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.03.045","volume":"320","author":"O.H. Ibarra","year":"2004","unstructured":"Ibarra, O.H.: On the computational complexity of membrane systems. Theoretical Computer Science\u00a0320, 89\u2013104 (2004)","journal-title":"Theoretical Computer Science"},{"key":"31_CR8","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/0304-3975(85)90015-5","volume":"35","author":"K. Kobayashi","year":"1985","unstructured":"Kobayashi, K.: On proving time constructibility of functions. Theoretical Computer Science\u00a035, 215\u2013225 (1985)","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"31_CR9","first-page":"357","volume":"2","author":"S.N. Krishna","year":"1999","unstructured":"Krishna, S.N., Rama, R.: A variant of P\u00a0systems with active membranes: Solving NP-complete problems. Romanian Journal of Information Science and Technology\u00a02(4), 357\u2013367 (1999)","journal-title":"Romanian Journal of Information Science and Technology"},{"issue":"1-2","key":"31_CR10","first-page":"551","volume":"4","author":"A. Obtulowicz","year":"2001","unstructured":"Obtulowicz, A.: Deterministic P\u00a0systems for solving SAT problem. Romanian Journal of Information Science and Technology\u00a04(1-2), 551\u2013558 (2001)","journal-title":"Romanian Journal of Information Science and Technology"},{"issue":"61","key":"31_CR11","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"1","author":"G. P\u0103un","year":"2000","unstructured":"P\u0103un, G.: Computing with membranes. Journal of Computer and System Sciences\u00a01(61), 108\u2013143 (2000)","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"31_CR12","first-page":"75","volume":"6","author":"G. P\u0103un","year":"2001","unstructured":"P\u0103un, G.: P\u00a0systems with active membranes: Attacking NP-complete problems. Journal of Automata, Languages and Combinatorics\u00a06(1), 75\u201390 (2001)","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"31_CR13","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":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/978-3-540-24635-0_26","volume-title":"Aspects of Molecular Computing","author":"M. P\u00e9rez-J\u00edmenez Jes\u00fas","year":"2003","unstructured":"Jes\u00fas P\u00e9rez-J\u00edmenez, M., Romero-Jim\u00e9nez, A., Sancho-Caparrini, F.: The P versus NP problem through cellular computing with membranes. In: Jonoska, N., P\u0103un, G., Rozenberg, G. (eds.) Aspects of Molecular Computing. LNCS, vol.\u00a02950, pp. 338\u2013352. Springer, Heidelberg (2003)"},{"key":"31_CR15","unstructured":"P\u00e9rez-Jim\u00e9nez, M.J., Romero-Jim\u00e9nez, A., Sancho-Caparrini, F.: A polynomial complexity class in P\u00a0systems using membrane division. In: Csuhaj-Varj\u00fa, E., et al. (eds.) Proc. Fifth Workshop on Descriptional Complexity of Formal Systems, DCFS 2003, Computer and Automation Research Institute of the Hungarian Academy of Sciences, Budapest, pp. 284\u2013294 (2003)"},{"issue":"3","key":"31_CR16","doi-asserted-by":"crossref","first-page":"301","DOI":"10.15837\/ijccc.2009.3.2779","volume":"4","author":"A.E. Porreca","year":"2009","unstructured":"Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: Introducing a space complexity measure for P\u00a0systems. International Journal of Computers, Communications & Control\u00a04(3), 301\u2013310 (2009)","journal-title":"International Journal of Computers, Communications & Control"},{"issue":"2","key":"31_CR17","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1051\/ita:2006001","volume":"40","author":"A.E. Porreca","year":"2006","unstructured":"Porreca, A.E., Mauri, G., Zandron, C.: Complexity classes for membrane systems. RAIRO Theoretical Informatics and Applications\u00a040(2), 141\u2013162 (2006)","journal-title":"RAIRO Theoretical Informatics and Applications"},{"key":"31_CR18","unstructured":"Sipser, M.: Introduction to the Theory of Computation, 2nd edn. Course Technology (2005)"},{"issue":"3","key":"31_CR19","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1023\/A:1025401325428","volume":"2","author":"P. Sos\u00edk","year":"2003","unstructured":"Sos\u00edk, P.: The computational power of cell division in P\u00a0systems: Beating down parallel computers? Natural Computing\u00a02(3), 287\u2013298 (2003)","journal-title":"Natural Computing"},{"key":"31_CR20","first-page":"289","volume-title":"Unconventional Models of Computation","author":"C. Zandron","year":"2000","unstructured":"Zandron, C., Ferretti, C., Mauri, G.: Solving NP-complete problems using P\u00a0systems with active membranes. In: Antoniou, I., Calude, C.S., Dinneen, M.J. (eds.) Unconventional Models of Computation, pp. 289\u2013301. Springer, Heidelberg (2000)"},{"issue":"1","key":"31_CR21","first-page":"79","volume":"87","author":"C. Zandron","year":"2008","unstructured":"Zandron, C., Leporati, A., Ferretti, C., Mauri, G., P\u00e9rez-Jim\u00e9nez, M.J.: On the computational efficiency of polarizationless recognizer P\u00a0systems with strong division and dissolution. Fundamenta Informaticae\u00a087(1), 79\u201391 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"31_CR22","unstructured":"The P\u00a0Systems Webpage, http:\/\/ppage.psystems.eu"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11467-0_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,20]],"date-time":"2021-10-20T09:45:43Z","timestamp":1634723143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11467-0_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642114663","9783642114670"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11467-0_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}