{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:31:43Z","timestamp":1743132703026,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319409450"},{"type":"electronic","value":"9783319409467"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40946-7_13","type":"book-chapter","created":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T07:52:20Z","timestamp":1467705140000},"page":"150-162","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Kuratowski Algebras Generated by Prefix-Free Languages"],"prefix":"10.1007","author":[{"suffix":"Jr.","given":"Jozef","family":"Jir\u00e1sek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juraj","family":"\u0160ebej","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,6]]},"reference":[{"key":"13_CR1","unstructured":"Brzozowski, J.: Kuratowski algebras generated from \n                      \n                        \n                      \n                      $$L$$\n                     by applying the operators of Kleene closure and complement. Personal communication (2016)"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1142\/S0129054111008052","volume":"22","author":"J Brzozowski","year":"2011","unstructured":"Brzozowski, J., Grant, E., Shallit, J.: Closures in formal languages and Kuratowski\u2019s theorem. Int. J. Found. Comput. Sci. 22, 301\u2013321 (2011)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1142\/S0129054115500392","volume":"26","author":"H-S Eom","year":"2015","unstructured":"Eom, H.-S., Han, Y.-S.: State complexity of boundary of prefix-free regular languages. Int. J. Found. Comput. Sci. 26, 697\u2013708 (2015)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"180","DOI":"10.2307\/2691300","volume":"64","author":"JH Fife","year":"1991","unstructured":"Fife, J.H.: The Kuratowski closure-complement problem. Math. Mag. 64, 180\u2013182 (1991)","journal-title":"Math. Mag."},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"93","DOI":"10.3233\/FI-2009-0008","volume":"90","author":"Y-S Han","year":"2009","unstructured":"Han, Y.-S., Salomaa, K., Wood, D.: Nondeterministic state complexity of basic operations for prefix-free regular languages. Fundam. Inform. 90, 93\u2013106 (2009)","journal-title":"Fundam. Inform."},{"key":"13_CR6","series-title":"Institute of Informatics","first-page":"99","volume-title":"AFL 2009","author":"Y-S Han","year":"2009","unstructured":"Han, Y.-S., Salomaa, K., Wood, D.: Operational state complexity of prefix-free regular languages. In: \u00c9sik, Z., F\u00fcl\u00f6p, Z. (eds.) AFL 2009. Institute of Informatics, pp. 99\u2013115. University of Szeged, Hungary (2009)"},{"key":"13_CR7","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 1st edn. Addison-Wesley, Reading (1979)","edition":"1"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-38536-0_22","volume-title":"Computer Science \u2013 Theory and Applications","author":"J Jir\u00e1sek","year":"2013","unstructured":"Jir\u00e1sek, J., Jir\u00e1skov\u00e1, G.: Cyclic shift on prefix-free languages. In: Bulatov, A.A., Shur, A.M. (eds.) CSR 2013. LNCS, vol. 7913, pp. 246\u2013257. Springer, Heidelberg (2013)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-319-21500-6_24","volume-title":"Developments in Language Theory","author":"J Jir\u00e1sek","year":"2015","unstructured":"Jir\u00e1sek, J., Jir\u00e1skov\u00e1, G.: The boundary of prefix-free languages. In: Potapov, I. (ed.) DLT 2015. LNCS, vol. 9168, pp. 300\u2013312. Springer, Heidelberg (2015)"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.tcs.2015.01.022","volume":"578","author":"J Jir\u00e1sek","year":"2015","unstructured":"Jir\u00e1sek, J., Jir\u00e1skov\u00e1, G.: On the boundary of regular languages. Theoret. Comput. Sci. 578, 42\u201357 (2015)","journal-title":"Theoret. Comput. Sci."},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-319-08846-4_17","volume-title":"Implementation and Application of Automata","author":"G Jir\u00e1skov\u00e1","year":"2014","unstructured":"Jir\u00e1skov\u00e1, G., Palmovsk\u00fd, M., \u0160ebej, J.: Kleene closure on regular and prefix- free languages. In: Holzer, M., Kutrib, M. (eds.) CIAA 2014. LNCS, vol. 8587, pp. 226\u2013237. Springer, Heidelberg (2014)"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.tcs.2015.08.031","volume":"610","author":"J Jir\u00e1sek","year":"2016","unstructured":"Jir\u00e1sek, J., Jir\u00e1skov\u00e1, G., Krausov\u00e1, M., Mlyn\u00e1r\u010dik, P., \u0160ebej, J.: Prefix-free languages: left and right quotient and reversal. Theoret. Comput. Sci. 610, 78\u201390 (2016)","journal-title":"Theoret. Comput. Sci."},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"182","DOI":"10.4064\/fm-3-1-182-199","volume":"3","author":"C Kuratowski","year":"1922","unstructured":"Kuratowski, C.: Sur l\u2019opration \n                      \n                        \n                      \n                      $$\\bar{\\text{ A }}$$\n                     de l\u2019analysis situs. Fund. Math. 3, 182\u2013199 (1922)","journal-title":"Fund. Math."},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-642-25929-6_11","volume-title":"Mathematical and Engineering Methods in Computer Science","author":"M Krausov\u00e1","year":"2012","unstructured":"Krausov\u00e1, M.: Prefix-free regular languages: closure properties, difference, and left quotient. In: Kot\u00e1sek, Z., Bouda, J., \u010cern\u00e1, I., Sekanina, L., Vojnar, T., Anto\u0161, D. (eds.) MEMICS 2011. LNCS, vol. 7119, pp. 114\u2013122. Springer, Heidelberg (2012)"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-319-19225-3_20","volume-title":"Descriptional Complexity of Formal Systems","author":"M Palmovsk\u00fd","year":"2015","unstructured":"Palmovsk\u00fd, M., \u0160ebej, J.: Star-complement-star on prefix-free languages. In: Shallit, J., Okhotin, A. (eds.) DCFS 2015. LNCS, vol. 9118, pp. 231\u2013242. Springer, Heidelberg (2015)"},{"key":"13_CR16","volume-title":"Introduction to the Theory of Computation","author":"M Sipser","year":"1997","unstructured":"Sipser, M.: Introduction to the Theory of Computation. PWS Publishing Company, Boston (1997)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-642-59136-5_2","volume-title":"Handbook of Formal Languages","author":"S Yu","year":"1997","unstructured":"Yu, S.: Regular languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. 1, pp. 41\u2013110. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40946-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T12:06:14Z","timestamp":1580299574000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40946-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319409450","9783319409467"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40946-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"6 July 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CIAA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Implementation and Application of Automata","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Seoul","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Korea (Republic of)","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 July 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 July 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wia2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}