{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T21:50:00Z","timestamp":1649195400487},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2004,12,1]],"date-time":"2004-12-01T00:00:00Z","timestamp":1101859200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[2004,12]]},"DOI":"10.1007\/bf03037286","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T02:59:27Z","timestamp":1240541967000},"page":"349-363","source":"Crossref","is-referenced-by-count":8,"title":["A Prolog simulator for deterministic P systems with active membranes"],"prefix":"10.1007","volume":"22","author":[{"given":"Andr\u00e9s","family":"Cord\u00f3n-Franco","sequence":"first","affiliation":[]},{"given":"Miguel A.","family":"Guti\u00e9rrez-Naranjo","sequence":"additional","affiliation":[]},{"given":"Mario J.","family":"P\u00e9rez-Jim\u00e9nez","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Sancho-Caparrini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037286_CR1","series-title":"LNCS","first-page":"19","volume-title":"A Software Simulation of Transition P Systems in Haskell","author":"F. Arroyo","year":"2003","unstructured":"Arroyo, F., Luengo, C., Baranda, A. V. and De Mingo, L. F., \u201cA Software Simulation of Transition P Systems in Haskell,\u201dLNCS 2597, pp. 19\u201332, Springer-Verlag, Berlin, 2003."},{"key":"BF03037286_CR2","series-title":"LNCS","first-page":"58","volume-title":"A MzScheme implementation of transition P systems","author":"D. Balbont\u00edn Noval","year":"2003","unstructured":"Balbont\u00edn Noval, D., P\u00e9rez Jim\u00e9nez, M. J. and Sancho Caparrini, F., \u201cA MzScheme implementation of transition P systems,\u201dLNCS 2597, pp. 58\u201373, Springer-Verlag, Berlin, 2003."},{"key":"BF03037286_CR3","unstructured":"Bratko, I.,PROLOG Programming for Artificial Intelligence, Third edition, Addison-Wesley, 2001."},{"issue":"1\u20133","key":"BF03037286_CR4","first-page":"61","volume":"49","author":"G. Ciobanu","year":"2002","unstructured":"Ciobanu, G. and Paraschiv, D., \u201cMembrane softwre. A P system simulator,\u201dFundamenta Informaticae, 49, 1\u20133, pp. 61\u201366, 2002.","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"BF03037286_CR5","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G. P\u00e2un","year":"2000","unstructured":"P\u00e2un, G., \u201cComputing with membranes,\u201dJournal of Computer and System Sciences, 61, 1, pp. 108\u2013143, 2000.","journal-title":"Journal of Computer and System Sciences"},{"key":"BF03037286_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing. An Introduction","author":"G. P\u00e2un","year":"2002","unstructured":"P\u00e2un, G.,Membrane Computing. An Introduction, Springer-Verlag, Berlin, 2002."},{"key":"BF03037286_CR7","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/S0304-3975(02)00136-6","volume":"287","author":"G. P\u00e2un","year":"2002","unstructured":"P\u00e2un, G. and Rozenberg, G., \u201cA Guide to Membrane, Computing,\u201dTheoretical Computer Sciences, 287, pp. 73\u2013100, 2002.","journal-title":"Theoretical Computer Sciences"},{"issue":"3","key":"BF03037286_CR8","doi-asserted-by":"crossref","first-page":"313","DOI":"10.3233\/FI-2000-41304","volume":"41","author":"G. P\u00e2un","year":"2000","unstructured":"P\u00e2un, G., Rozenberg, G. and Salomaa, A., \u201cMembrane Computing with External Output,\u201dFundamenta Informaticae, 41, 3, pp. 313\u2013340, 2000.","journal-title":"Fundamenta Informaticae"},{"key":"BF03037286_CR9","unstructured":"P\u00e9rez Jim\u00e9nez, M. J., Romero-Jim\u00e9nez, A. and Sancho-Caparrini, F.,Teor\u00eda de la Complejidad en modelos de computaci\u00f3n celular con membranas, Editorial Kronos, Sevilla, 2002."},{"key":"BF03037286_CR10","unstructured":"P\u00e9rez-Jim\u00e9nez, M. J., Romero-Jim\u00e9nez, A. and Sancho-Caparrini, F, \u201cThe Polynomial Complexity Class in P Systems using Membrane Division,\u201d Submitted."},{"issue":"2","key":"BF03037286_CR11","first-page":"173","volume":"3","author":"Y. Suzuki","year":"2000","unstructured":"Suzuki, Y. and Tanaka, H., \u201cOn a LISP Implementation of a Class of P Systems,\u201dRomanian J. of Information Science and Technology, 3, 2, pp. 173\u2013186, 2000.","journal-title":"Romanian J. of Information Science and Technology"},{"key":"BF03037286_CR12","unstructured":"The P Systems Web Page: http:\/\/psystems.disco.unimib.it\/"},{"key":"BF03037286_CR13","unstructured":"Logic Programming: http:\/\/www.afm.sbu.ac.uk\/logic-prog\/"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037286.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037286\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037286","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T18:27:53Z","timestamp":1589740073000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037286"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,12]]},"references-count":13,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2004,12]]}},"alternative-id":["BF03037286"],"URL":"https:\/\/doi.org\/10.1007\/bf03037286","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,12]]}}}