{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T11:00:05Z","timestamp":1780743605577,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540404347","type":"print"},{"value":"9783540450078","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45007-6_32","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T10:34:37Z","timestamp":1188297277000},"page":"398-410","source":"Crossref","is-referenced-by-count":5,"title":["Boolean Grammars"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Okhotin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/978-3-642-59136-5_3","volume-title":"Handbook of Formal Languages","author":"J. Autebert","year":"1997","unstructured":"J. Autebert, J. Berstel and L. Boasson, \u201cContext-Free Languages and Pushdown Automata\u201d, Handbook of Formal Languages, Vol. 1, 111\u2013174, Springer-Verlag, Berlin, 1997."},{"key":"32_CR2","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1080\/00207168408803410","volume":"15","author":"K. Culik II","year":"1984","unstructured":"K. Culik II, J. Gruska, A. Salomaa, \u201cSystolic trellis automata\u201d, I and II, Internat. Journal of Computer Mathematics, 15 (1984), 195\u2013212, and 16 (1984), 3\u201322.","journal-title":"Internat. Journal of Computer Mathematics"},{"key":"32_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2156-2","volume-title":"Language equations","author":"E.L. Leiss","year":"1999","unstructured":"E.L. Leiss, Language equations, Springer-Verlag, New York, 1999."},{"issue":"4","key":"32_CR4","first-page":"519","volume":"6","author":"A. Okhotin","year":"2001","unstructured":"A. Okhotin, \u201cConjunctive grammars\u201d, Journal of Automata, Languages and Combinatorics, 6:4 (2001), 519\u2013535.","journal-title":"Journal of Automata, Languages and Combinatorics"},{"issue":"5","key":"32_CR5","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1023\/A:1020213411126","volume":"28","author":"A. Okhotin","year":"2002","unstructured":"A. Okhotin, \u201cConjunctive grammars and systems of language equations\u201d, Programming and Computer Software, 28:5 (2002), 243\u2013249.","journal-title":"Programming and Computer Software"},{"key":"32_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Developments in Language Theory","author":"A. Okhotin","year":"2003","unstructured":"A. Okhotin, \u201cAutomaton representation of linear conjunctive languages\u201d, Developments in Language Theory (Proceedings of DLT 2002), LNCS, to appear."},{"key":"32_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Implementation and Application of Automata","author":"A. Okhotin","year":"2003","unstructured":"A. Okhotin, \u201cWhale Calf, a parser generator for conjunctive grammars\u201d, Implementation and Application of Automata (Proc. of CIAA 2002), LNCS, to appear; the software is available at http:\/\/www.cs.queensu.ca\/home\/okhotin\/whalecalf\/, http:\/\/www.cs.queensu.ca\/home\/okhotin\/whalecalf\/."},{"key":"32_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of ICALP 2003","author":"A. Okhotin","year":"2003","unstructured":"A. Okhotin, \u201cDecision problems for language equations with Boolean operations\u201d, Proceedings of ICALP 2003, LNCS, to appear."}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45007-6_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T23:06:45Z","timestamp":1550876805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45007-6_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540404347","9783540450078"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45007-6_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}