{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:33:30Z","timestamp":1725492810011},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540420767"},{"type":"electronic","value":"9783540449928"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44992-2_4","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T10:35:31Z","timestamp":1192876531000},"page":"43-52","source":"Crossref","is-referenced-by-count":1,"title":["Diophantine equations and splicing: A new demonstration of the generative capability of H systems"],"prefix":"10.1007","author":[{"given":"Pierluigi","family":"Frisco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,4,25]]},"reference":[{"key":"4_CR1","first-page":"179","volume-title":"Proc. First Annual Pacific. Symposium in Biocomputing, Hawaii, 1996","author":"E. Csuhaj-Varju","year":"1996","unstructured":"E. Csuhaj-Varju, R. Freund, L. Kari, Gh. P\u0103un: DNA computing based on splicing: universality results. Proc. First Annual Pacific. Symposium in Biocomputing, Hawaii, 1996 (L. Hunter, T. E. Klein, eds.), World Scientific, Singapore, 1996, 179\u2013190"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1080\/00207168908803715","volume":"27","author":"K. L. Denninghoff","year":"1989","unstructured":"K. L. Denninghoff, R. W. Gatterdam: On the undecidability of splicing systems. International Journal of Computer and Mathematics, 27 (1989), 133\u2013145","journal-title":"International Journal of Computer and Mathematics"},{"key":"4_CR3","unstructured":"R. Freund, L. Kari. G. P\u0103un: DNA computing based on splicing. The existence of universal computers. Technical Report 185-2\/FR-2\/95, Technical Univ. Wien, 1995, and Theories of Computer Sci. in press"},{"key":"4_CR4","unstructured":"P. Frisco: Parallel Arithmetic with Splicing. To appear in Romanian Journal of Information Science and Technology (ROMJIST)"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1007\/BF02481771","volume":"49","author":"T. Head","year":"1987","unstructured":"T. Head, Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors, Bulletin of Mathematical Biology, 49 (1987), 737\u2013759","journal-title":"Bulletin of Mathematical Biology"},{"key":"4_CR6","volume-title":"Hilbert\u2019s tenth problem","author":"Y. Matiyasevich","year":"1993","unstructured":"Yuri Matiyasevich: Hilbert\u2019s tenth problem. MIT Press Cambridge, London, 1993"},{"key":"4_CR7","first-page":"67","volume":"I","author":"Gh. P\u0103un","year":"1998","unstructured":"Gh. P\u0103un: DNA computing based on splicing: universality results. Proceedings of the Second Internal Colloquium on Universal Machines and Computations, Metz, 1998, Vol. I, 67\u201391","journal-title":"Proceedings of the Second Internal Colloquium on Universal Machines and Computations, Metz"},{"issue":"1","key":"4_CR8","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/s005000050088","volume":"3","author":"Gh. P\u0103un","year":"1999","unstructured":"Gh. P\u0103un, (DNA) Computing by carving, Soft Computing, 3, 1 (1999), 30\u201336","journal-title":"Soft Computing"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0166-218X(96)00101-1","volume":"70","author":"Gh. P\u0103un","year":"1996","unstructured":"Gh. P\u0103un, On the splicing operation, Discrete Appl. Math., 70 (1996), 57\u201379","journal-title":"Discrete Appl. Math."},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0020-0190(96)00097-X","volume":"59","author":"Gh. P\u0103un","year":"1996","unstructured":"Gh. P\u0103un: Splicing systems with targets are computationally complete. Inform. Processing Letters, 59 (1996), 129\u2013133","journal-title":"Inform. Processing Letters"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Gh. P\u0103un, G. Rozenberg, A. Salomaa: Computing by splicing. Programmed and evolving splicing systems. IEEE Inter. Conf. on Evolutionary Computing, Indianapolis, 1997, 273\u2013277","DOI":"10.1007\/978-3-662-03563-4_8"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Gh. P\u0103un, G. Rozenberg, A. Salomaa: DNA Computing. Springer-Verlag, 1998","DOI":"10.1007\/978-3-662-03563-4"}],"container-title":["Lecture Notes in Computer Science","DNA Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44992-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:02:56Z","timestamp":1556906576000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44992-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540420767","9783540449928"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44992-2_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}