{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:37:50Z","timestamp":1725543470792},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_38","type":"book-chapter","created":{"date-parts":[[2006,6,21]],"date-time":"2006-06-21T05:55:49Z","timestamp":1150869349000},"page":"420-432","source":"Crossref","is-referenced-by-count":5,"title":["Language Equations with Complementation"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Okhotin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oksana","family":"Yakimova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"38_CR1","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/S0019-9958(82)90439-9","volume":"55","author":"A. Blass","year":"1982","unstructured":"Blass, A., Gurevich, Y.: On the unique satisfiability problem. Information and Control\u00a055, 80\u201388 (1982)","journal-title":"Information and Control"},{"key":"38_CR2","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1006\/inco.1997.2692","volume":"142","author":"W. Charatonik","year":"1998","unstructured":"Charatonik, W.: Set constraints in some equational theories. Information and Computation\u00a0142, 40\u201375 (1998)","journal-title":"Information and Computation"},{"key":"38_CR3","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1145\/321127.321132","volume":"9","author":"S. Ginsburg","year":"1962","unstructured":"Ginsburg, S., Rice, H.G.: Two families of languages related to ALGOL. Journal of the ACM\u00a09, 350\u2013371 (1962)","journal-title":"Journal of the ACM"},{"key":"38_CR4","doi-asserted-by":"crossref","unstructured":"Hartmanis, J., Immerman, N., Mahaney, S.: One-way log-tape reductions. In: FOCS 1978, pp. 65\u201371 (1978)","DOI":"10.1109\/SFCS.1978.31"},{"key":"38_CR5","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1007\/978-3-642-59136-5_9","volume-title":"Handbook of Formal Languages","author":"W. Kuich","year":"1997","unstructured":"Kuich, W.: Semirings and formal power series: their relevance to formal languages and automata. In: Rozenberg, Salomaa (eds.) Handbook of Formal Languages, vol.\u00a01, pp. 609\u2013677. Springer, Heidelberg (1997)"},{"key":"38_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/978-3-540-31856-9_47","volume-title":"STACS 2005","author":"M. Kunc","year":"2005","unstructured":"Kunc, M.: The power of commuting with finite sets of words. In: Diekert, V., Durand, B. (eds.) STACS 2005. LNCS, vol.\u00a03404, pp. 569\u2013580. Springer, Heidelberg (2005)"},{"key":"38_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/11505877_29","volume-title":"Developments in Language Theory","author":"M. Kunc","year":"2005","unstructured":"Kunc, M.: On language inequalities XK\u2009\u2286\u2009LX. In: De Felice, C., Restivo, A. (eds.) DLT 2005. LNCS, vol.\u00a03572, pp. 327\u2013337. Springer, Heidelberg (2005)"},{"key":"38_CR8","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0304-3975(94)90227-5","volume":"132","author":"E.L. Leiss","year":"1994","unstructured":"Leiss, E.L.: Unrestricted complementation in language equations over a one-letter alphabet. Theoretical Computer Science\u00a0132, 71\u201393 (1994)","journal-title":"Theoretical Computer Science"},{"key":"38_CR9","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1023\/A:1020213411126","volume":"28","author":"A. Okhotin","year":"2002","unstructured":"Okhotin, A.: Conjunctive grammars and systems of language equations. Programming and Computer Software\u00a028, 243\u2013249 (2002)","journal-title":"Programming and Computer Software"},{"key":"38_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45061-0_21","volume-title":"Automata, Languages and Programming","author":"A. Okhotin","year":"2003","unstructured":"Okhotin, A.: Decision problems for language equations with Boolean operations. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol.\u00a02719, Springer, Heidelberg (2003)"},{"issue":"1","key":"38_CR11","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.ic.2004.03.006","volume":"194","author":"A. Okhotin","year":"2004","unstructured":"Okhotin, A.: Boolean grammars. Inform. Comput.\u00a0194(1), 19\u201348 (2004)","journal-title":"Inform. Comput."},{"key":"38_CR12","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/j.tcs.2005.07.019","volume":"345","author":"A. Okhotin","year":"2005","unstructured":"Okhotin, A.: The dual of concatenation. Theoretical Computer Science\u00a0345, 425\u2013447 (2005)","journal-title":"Theoretical Computer Science"},{"key":"38_CR13","doi-asserted-by":"crossref","unstructured":"Salomaa, A., Yu, S.: On the decomposition of finite languages. In: DLT 1999 (1999)","DOI":"10.1142\/9789812792464_0003"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11779148_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:15:55Z","timestamp":1619507755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11779148_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354284","9783540354307"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11779148_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}