{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:36:28Z","timestamp":1725665788059},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642283314"},{"type":"electronic","value":"9783642283321"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28332-1_25","type":"book-chapter","created":{"date-parts":[[2012,2,29]],"date-time":"2012-02-29T09:45:36Z","timestamp":1330508736000},"page":"289-300","source":"Crossref","is-referenced-by-count":3,"title":["Forbidding Sets and Normal Forms for Language Forbidding-Enforcing Systems"],"prefix":"10.1007","author":[{"given":"Daniela","family":"Genova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1023\/A:1025492906773","volume":"2","author":"M. Cavaliere","year":"2003","unstructured":"Cavaliere, M., Jonoska, N.: Forbidding and enforcing in membrane computing. Natural Computing\u00a02, 215\u2013228 (2003)","journal-title":"Natural Computing"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1090\/dimacs\/054\/16","volume-title":"DNA Based Computers V","author":"A. Ehrenfeucht","year":"2000","unstructured":"Ehrenfeucht, A., Hoogeboom, H.J., Rozenberg, G., van Vugt, N.: Forbidding and enforcing. In: DNA Based Computers V, vol.\u00a054, pp. 195\u2013206. AMS DIMACS, Providence (2000)"},{"issue":"2","key":"25_CR3","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s005000000072","volume":"5","author":"A. Ehrenfeucht","year":"2001","unstructured":"Ehrenfeucht, A., Hoogeboom, H.J., Rozenberg, G., van Vugt, N.: Sequences of languages in forbidding-enforcing families. Soft Computing\u00a05(2), 121\u2013125 (2001)","journal-title":"Soft Computing"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1016\/S0304-3975(01)00088-3","volume":"292","author":"A. Ehrenfeucht","year":"2003","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Forbidding-enforcing systems. Theoretical Computer Science\u00a0292, 611\u2013638 (2003)","journal-title":"Theoretical Computer Science"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Franco, G., Jonoska, N.: Forbidding and enforcing conditions in DNA self-assembly of graphs. In: Nanotechnology: Science and Computation, Part I. Natural Computing Series, pp. 105\u2013118 (2006)","DOI":"10.1007\/3-540-30296-4_6"},{"key":"25_CR6","unstructured":"Genova, D.: Forbidding and Enforcing of Formal Languages, Graphs and Partially Ordered Sets. Ph.D. thesis, University of South Florida (2007)"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-21875-0_10","volume-title":"Models of Computation in Context","author":"D. Genova","year":"2011","unstructured":"Genova, D.: Defining Languages by Forbidding-Enforcing Systems. In: L\u00f6we, B., Normann, D., Soskov, I., Soskova, A. (eds.) CiE 2011. LNCS, vol.\u00a06735, pp. 92\u2013101. Springer, Heidelberg (2011)"},{"issue":"4","key":"25_CR8","first-page":"375","volume":"11","author":"D. Genova","year":"2006","unstructured":"Genova, D., Jonoska, N.: Topological properties of forbidding-enforcing systems. Journal of Automata, Languages and Combinatorics\u00a011(4), 375\u2013397 (2006)","journal-title":"Journal of Automata, Languages and Combinatorics"},{"issue":"2","key":"25_CR9","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1016\/j.physb.2006.12.069","volume":"394","author":"D. Genova","year":"2007","unstructured":"Genova, D., Jonoska, N.: Defining structures through forbidding and enforcing constraints. Physica B: Condensed Matter\u00a0394(2), 306\u2013310 (2007)","journal-title":"Physica B: Condensed Matter"},{"issue":"6","key":"25_CR10","doi-asserted-by":"publisher","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 behaviors. Bull. Math. Biology\u00a049(6), 737\u2013759 (1987)","journal-title":"Bull. Math. Biology"},{"key":"25_CR11","first-page":"295","volume-title":"Handbook of Formal Languages","author":"T. Head","year":"1996","unstructured":"Head, T., P\u0103un, G., Pixton, D.: Language theory and molecular genetics: generative mechanisms suggested by DNA recombination. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol.\u00a02, pp. 295\u2013360. Springer, Berlin (1996)"},{"issue":"2","key":"25_CR12","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1023\/A:1023980828489","volume":"4","author":"N. Jonoska","year":"2003","unstructured":"Jonoska, N., Sa-Ardyen, P., Seeman, N.C.: Computation by self-assembly of DNA graphs. Journal of Genetic Programming and Evolvable Machines\u00a04(2), 123\u2013138 (2003)","journal-title":"Journal of Genetic Programming and Evolvable Machines"},{"key":"25_CR13","doi-asserted-by":"publisher","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, Berlin (2002)"},{"key":"25_CR14","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/S0304-3975(96)00082-5","volume":"168","author":"G. P\u0103un","year":"1996","unstructured":"P\u0103un, G., Rozenberg, G., Salomaa, A.: Computing by splicing. Theoretical Computer Science\u00a0168, 321\u2013336 (1996)","journal-title":"Theoretical Computer Science"},{"key":"25_CR15","volume-title":"DNA Computing, new computing paradigms","author":"G. P\u0103un","year":"1998","unstructured":"P\u0103un, G., Rozenberg, G., Salomaa, A.: DNA Computing, new computing paradigms. Springer, Heidelberg (1998)"},{"key":"25_CR16","unstructured":"van Vugt, N.: Models of Molecular Computing. Ph.D. thesis, Leiden University (2002)"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Winfree, E., Yang, X., Seeman, N.C.: Universal computation via self-assembly of DNA: Some theory and experiments. In: Landweber, L., Baum, E. (eds.) DNA Computers II. AMS DIMACS series, vol.\u00a044, pp. 191\u2013198 (1998)","DOI":"10.1090\/dimacs\/044\/16"}],"container-title":["Lecture Notes in Computer Science","Language and Automata Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28332-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T04:26:46Z","timestamp":1556425606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28332-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642283314","9783642283321"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28332-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}