{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:21:26Z","timestamp":1725574886934},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208952"},{"type":"electronic","value":"9783540246190"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24619-0_23","type":"book-chapter","created":{"date-parts":[[2011,1,15]],"date-time":"2011-01-15T11:03:06Z","timestamp":1295089386000},"page":"320-340","source":"Crossref","is-referenced-by-count":0,"title":["Computing Partial Recursive Functions by Transition P Systems"],"prefix":"10.1007","author":[{"given":"Alvaro","family":"Romero-Jim\u00e9nez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario J.","family":"P\u00e9rez-Jim\u00e9nez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Cohen, D.E.: Computability and Logic. Ellis Horwood (1987)"},{"issue":"1","key":"23_CR2","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G. P\u0103un","year":"2000","unstructured":"P\u0103un, G.: Computing with Membranes. Journal of Computer and System Sciences\u00a061(1), 108\u2013143 (2000)","journal-title":"Journal of Computer and System Sciences"},{"key":"23_CR3","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, Heidelberg (2002)"},{"issue":"3","key":"23_CR4","doi-asserted-by":"crossref","first-page":"259","DOI":"10.3233\/FI-2000-41304","volume":"41","author":"G. P\u0103un","year":"2000","unstructured":"P\u0103un, G., Rozenberg, G., Salomaa, A.: Membrane Computing with External Output. Fundamenta Informaticae\u00a041(3), 259\u2013266 (2000)","journal-title":"Fundamenta Informaticae"},{"issue":"1\u20133","key":"23_CR5","first-page":"261","volume":"49","author":"M.J. P\u00e9rez-Jim\u00e9nez","year":"2002","unstructured":"P\u00e9rez-Jim\u00e9nez, M.J., Sancho-Caparrini, F.: A Formalization of Transition P Systems. Fundamenta Informaticae\u00a049(1\u20133), 261\u2013272 (2002)","journal-title":"Fundamenta Informaticae"},{"key":"23_CR6","unstructured":"Romero-Jim\u00e9nez, A.: Complejidad y Universalidad en Modelos de Computaci\u00f3n Celular. PhD thesis, Universidad de Sevilla (2003)"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45833-6_15","volume-title":"Unconventional Models of Computation","author":"A. Romero-Jim\u00e9nez","year":"2002","unstructured":"Romero-Jim\u00e9nez, A., P\u00e9rez-Jim\u00e9nez, M.J.: Generation of Diophantine Sets by Computing P Systems with External Output. In: Calude, C.S., Dinneen, M.J., Peper, F. (eds.) UMC 2002. LNCS, vol.\u00a02509, pp. 176\u2013190. Springer, Heidelberg (2002)"},{"key":"23_CR8","unstructured":"Sancho-Caparrini, F.: Verificaci\u00f3n de Programas en Modelos de Computaci\u00f3n no Convencionales. PhD thesis, Universidad de Sevilla (2002)"},{"key":"23_CR9","unstructured":"The, P Systems Web Page, http:\/\/psystems.disco.unimib.it\/"},{"key":"23_CR10","unstructured":"Web Page of the Research Group on Natural Computing of University of Sevilla, http:\/\/www.cs.us.es\/gcn\/"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24619-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T17:42:07Z","timestamp":1592242927000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24619-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208952","9783540246190"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24619-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}