{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:54:10Z","timestamp":1743004450728,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642370632"},{"type":"electronic","value":"9783642370649"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37064-9_19","type":"book-chapter","created":{"date-parts":[[2013,3,15]],"date-time":"2013-03-15T08:07:12Z","timestamp":1363334832000},"page":"202-213","source":"Crossref","is-referenced-by-count":3,"title":["Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions"],"prefix":"10.1007","author":[{"given":"Jean-Marc","family":"Champarnaud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Philippe","family":"Dubernard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hadrien","family":"Jeanne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ludovic","family":"Mignot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0304-3975(95)00182-4","volume":"155","author":"V. Antimirov","year":"1996","unstructured":"Antimirov, V.: Partial derivatives of regular expressions and finite automaton constructions. Theoret. Comput. Sci.\u00a0155, 291\u2013319 (1996)","journal-title":"Theoret. Comput. Sci."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Brzozowski, J.A.: Regular-like expressions for some irregular languages. In: SWAT (FOCS), pp. 278\u2013286. IEEE Computer Society (1968)","DOI":"10.1109\/SWAT.1968.24"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-642-21254-3_13","volume-title":"Language and Automata Theory and Applications","author":"P. Caron","year":"2011","unstructured":"Caron, P., Champarnaud, J.-M., Mignot, L.: Partial Derivatives of an Extended Regular Expression. In: Dediu, A.-H., Inenaga, S., Mart\u00edn-Vide, C. (eds.) LATA 2011. LNCS, vol.\u00a06638, pp. 179\u2013191. Springer, Heidelberg (2011)"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-642-31606-7_28","volume-title":"Implementation and Application of Automata","author":"P. Caron","year":"2012","unstructured":"Caron, P., Champarnaud, J.-M., Mignot, L.: Multi-Tilde-Bar Derivatives. In: Moreira, N., Reis, R. (eds.) CIAA 2012. LNCS, vol.\u00a07381, pp. 321\u2013328. Springer, Heidelberg (2012)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-642-28332-1_16","volume-title":"Language and Automata Theory and Applications","author":"J.-M. Champarnaud","year":"2012","unstructured":"Champarnaud, J.-M., Jeanne, H., Mignot, L.: Approximate Regular Expressions and Their Derivatives. In: Dediu, A.-H., Mart\u00edn-Vide, C. (eds.) LATA 2012. LNCS, vol.\u00a07183, pp. 179\u2013191. Springer, Heidelberg (2012)"},{"key":"19_CR6","unstructured":"Cheptea, D., Mart\u00ecn-Vide, C., Mitrana, V.: A new operation on words suggested by DNA biochemistry: hairpin completion. Transgressive Computing, 216\u2013228 (2006)"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1016\/j.ic.2012.04.003","volume":"217","author":"V. Diekert","year":"2012","unstructured":"Diekert, V., Kopecki, S., Mitrana, V.: Deciding regularity of hairpin completions of regular languages in polynomial time. Inf. Comput.\u00a0217, 12\u201330 (2012)","journal-title":"Inf. Comput."},{"issue":"1-4","key":"19_CR8","doi-asserted-by":"crossref","first-page":"201","DOI":"10.3233\/FI-2011-538","volume":"110","author":"L. Kari","year":"2011","unstructured":"Kari, L., Seki, S., Kopecki, S.: On the regularity of iterated hairpin completion of a single word. Fundam. Inform.\u00a0110(1-4), 201\u2013215 (2011)","journal-title":"Fundam. Inform."},{"key":"19_CR9","first-page":"3","volume":"34","author":"S. Kleene","year":"1956","unstructured":"Kleene, S.: Representation of events in nerve nets and finite automata. Automata Studies Ann. Math. Studies\u00a034, 3\u201341 (1956)","journal-title":"Automata Studies Ann. Math. Studies"},{"issue":"1-3","key":"19_CR10","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.10.016","volume":"332","author":"S. Lombardy","year":"2005","unstructured":"Lombardy, S., Sakarovitch, J.: Derivatives of rational expressions with multiplicity. Theor. Comput. Sci.\u00a0332(1-3), 141\u2013177 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"9","key":"19_CR11","doi-asserted-by":"publisher","first-page":"2143","DOI":"10.1016\/j.dam.2007.09.022","volume":"157","author":"F. Manea","year":"2009","unstructured":"Manea, F., Mart\u00edn-Vide, C., Mitrana, V.: On some algorithmic problems regarding the hairpin completion. Discrete Applied Mathematics\u00a0157(9), 2143\u20132152 (2009)","journal-title":"Discrete Applied Mathematics"},{"issue":"4-5","key":"19_CR12","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1016\/j.tcs.2008.09.049","volume":"410","author":"F. Manea","year":"2009","unstructured":"Manea, F., Mitrana, V., Yokomori, T.: Two complementary operations inspired by the DNA hairpin formation: Completion and reduction. Theor. Comput. Sci.\u00a0410(4-5), 417\u2013425 (2009)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"19_CR13","first-page":"343","volume":"5","author":"J.M. Sempere","year":"2000","unstructured":"Sempere, J.M.: On a class of regular-like expressions for linear languages. Journal of Automata, Languages and Combinatorics\u00a05(3), 343\u2013354 (2000)","journal-title":"Journal of Automata, Languages and Combinatorics"}],"container-title":["Lecture Notes in Computer Science","Language and Automata Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37064-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T14:05:01Z","timestamp":1675778701000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-37064-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370632","9783642370649"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37064-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}