{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:37:51Z","timestamp":1725543471148},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354284"},{"type":"electronic","value":"9783540354307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11779148_29","type":"book-chapter","created":{"date-parts":[[2006,6,21]],"date-time":"2006-06-21T05:55:49Z","timestamp":1150869349000},"page":"315-326","source":"Crossref","is-referenced-by-count":2,"title":["A Decision Procedure for Reflexive Regular Splicing Languages"],"prefix":"10.1007","author":[{"given":"Paola","family":"Bonizzoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giancarlo","family":"Mauri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.tcs.2004.12.033","volume":"334","author":"P. Bonizzoni","year":"2005","unstructured":"Bonizzoni, P., De Felice, C., Zizza, R.: The structure of reflexive regular splicing languages via Sch\u00fctzenberger constants. Theoretical Computer Science\u00a0334, 71\u201398 (2005)","journal-title":"Theoretical Computer Science"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Bonizzoni, P., De Felice, C., Mauri, G., Zizza, R.: Linear splicing and syntactic monoid. Discrete Applied Mathematics (to appear, 2005)","DOI":"10.1016\/j.dam.2005.06.008"},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-45007-6_10","volume-title":"Developments in Language Theory","author":"P. Bonizzoni","year":"2003","unstructured":"Bonizzoni, P., De Felice, C., Mauri, G., Zizza, R.: Regular Languages Generated by Reflexive Finite Linear Splicing Systems. In: \u00c9sik, Z., F\u00fcl\u00f6p, Z. (eds.) DLT 2003. LNCS, vol.\u00a02710, pp. 134\u2013145. Springer, Heidelberg (2003)"},{"issue":"6","key":"29_CR4","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0020-0190(01)00139-9","volume":"76","author":"P. Bonizzoni","year":"2001","unstructured":"Bonizzoni, P., Ferretti, C., Mauri, G., Zizza, R.: Separating some splicing models. Information Processing Letters\u00a076(6), 255\u2013259 (2001)","journal-title":"Information Processing Letters"},{"key":"29_CR5","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.tcs.2005.03.035","volume":"340","author":"P. Bonizzoni","year":"2005","unstructured":"Bonizzoni, P., Mauri, G.: Regular splicing languages and subclasses. Theoretical Computer Science\u00a0340, 349\u2013363 (2005)","journal-title":"Theoretical Computer Science"},{"key":"29_CR6","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0166-218X(91)90054-Z","volume":"31","author":"K. Culik","year":"1991","unstructured":"Culik, K., Harju, T.: Splicing semigroups of dominoes and DNA. Discrete Applied Math.\u00a031, 261\u2013277 (1991)","journal-title":"Discrete Applied Math."},{"key":"29_CR7","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1007\/BF02481771","volume":"49","author":"T. Head","year":"1987","unstructured":"Head, T.: Formal Language Theory and DNA: an analysis of the generative capacity of specific recombinant behaviours. Bull. Math. Biol.\u00a049, 737\u2013759 (1987)","journal-title":"Bull. Math. Biol."},{"key":"29_CR8","volume-title":"Computing with Bio-molecules. Theory and Experiments","author":"T. Head","year":"1998","unstructured":"Head, T.: Splicing languages generated with one sided context. In: Paun, G. (ed.) Computing with Bio-molecules. Theory and Experiments. Springer, Singapore (1998)"},{"key":"29_CR9","unstructured":"Goode, E., Pixton, D.: Recognizing splicing languages: Syntactic Monoids and Simultaneous Pumping (submitted, 2004), available from: http:\/\/www.math.binghamton.edu\/dennis\/Papers\/index.html"},{"key":"29_CR10","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0166-218X(96)00101-1","volume":"70","author":"G. Paun","year":"1996","unstructured":"Paun, G.: On the splicing operation. Discrete Applied Math.\u00a070, 57\u201379 (1996)","journal-title":"Discrete Applied Math."},{"key":"29_CR11","volume-title":"DNA computing, New Computing Paradigms","author":"G. Paun","year":"1998","unstructured":"Paun, G., Rozenberg, G., Salomaa, A.: DNA computing, New Computing Paradigms. Springer, Berlin (1998)"},{"key":"29_CR12","first-page":"1","volume-title":"Handbook of Theoretical Computer Science","author":"D. Perrin","year":"1990","unstructured":"Perrin, D.: Finite Automata. In: Van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 1\u201357. Elsevier, Amsterdam (1990)"},{"key":"29_CR13","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0166-218X(95)00079-7","volume":"69","author":"D. Pixton","year":"1996","unstructured":"Pixton, D.: Regularity of splicing languages. Discrete Applied Math.\u00a069, 101\u2013124 (1996)","journal-title":"Discrete Applied Math."},{"key":"29_CR14","first-page":"245","volume":"15","author":"M.P. Sch\u00fctzenberger","year":"1975","unstructured":"Sch\u00fctzenberger, M.P.: Sur certaines op\u00e9rations de fermeture dans les langages rationnels. Symposia Mathematica\u00a015, 245\u2013253 (1975)","journal-title":"Symposia Mathematica"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11779148_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:15:52Z","timestamp":1619507752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11779148_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354284","9783540354307"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11779148_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}