{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:22:55Z","timestamp":1725488575847},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443117"},{"type":"electronic","value":"9783540458333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45833-6_15","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T10:25:53Z","timestamp":1186827953000},"page":"176-190","source":"Crossref","is-referenced-by-count":3,"title":["Generation of Diophantine Sets by Computing P Systems with External Output"],"prefix":"10.1007","author":[{"given":"\u00c1lvaro Romero","family":"Jim\u00e9nez","sequence":"first","affiliation":[]},{"given":"Mario J.","family":"P\u00e9rez Jim\u00e9nez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"15_CR1","unstructured":"Y. Matiyasevich. Hilbert\u2019s Tenth Problem. The MIT Press, 1993."},{"key":"15_CR2","first-page":"139","volume":"67","author":"G. P\u0103un","year":"1999","unstructured":"G. P\u0103un. Computing with membranes. An introduction. Bull. European Assoc. Theoret. Comput. Sci., 67:139\u2013152, 1999.","journal-title":"Bull. European Assoc. Theoret. Comput. Sci."},{"issue":"1","key":"15_CR3","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G. P\u0103un","year":"2000","unstructured":"G. P\u0103un. Computing with membranes. J. Comput. System Sci., 61(1):108\u2013143, 2000.","journal-title":"J. Comput. System Sci."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"G. P\u0103un and G. Rozenberg. A guide to membrane computing. Theoret. Comput. Sci., to appear.","DOI":"10.1016\/S0304-3975(02)00136-6"},{"issue":"3","key":"15_CR5","doi-asserted-by":"crossref","first-page":"313","DOI":"10.3233\/FI-2000-41304","volume":"41","author":"G. P\u0103un","year":"2000","unstructured":"G. P\u0103un, G. Rozenberg, and A. Salomaa. Membrane computing with external output. Fund. Inform., 41(3):313\u2013340, 2000.","journal-title":"Fund. Inform."},{"key":"15_CR6","unstructured":"F. Sancho Caparrini. Verificaci\u00f3n de programas en modelos de computaci\u00f3n no convencionales. PhD thesis, Universidad de Sevilla, Departamento de Ciencias de la Computaci\u00f3n e Inteligencia Artificial, 2002."},{"key":"15_CR7","unstructured":"The P Systems Web Page, (http:\/\/dna.bio.disco.unimib.it\/psystems\/)"}],"container-title":["Lecture Notes in Computer Science","Unconventional Models of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45833-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T20:01:05Z","timestamp":1587844865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45833-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443117","9783540458333"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45833-6_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}