{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,7]],"date-time":"2025-12-07T16:01:14Z","timestamp":1765123274835},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540416951"},{"type":"electronic","value":"9783540446934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44693-1_3","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T05:10:18Z","timestamp":1181625018000},"page":"27-38","source":"Crossref","is-referenced-by-count":7,"title":["Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra"],"prefix":"10.1007","author":[{"given":"Dexter","family":"Kozen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,16]]},"reference":[{"key":"3_CR1","unstructured":"Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. The Design and Analysis of Com-puter Algorithms. Addison-Wesley, Reading, Mass., 1975."},{"key":"3_CR2","unstructured":"Roland Carl Backhouse. Closure Algorithms and the Star-Height Problem of Regular Lan-guages. PhD thesis, Imperial College, London, U.K., 1975."},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"J. A. Brzozowski","year":"1964","unstructured":"Janusz A. Brzozowski. Derivatives of regular expressions. J. Assoc. Comput. Mach., 11:481\u2013494, 1964.","journal-title":"J. Assoc. Comput. Mach"},{"key":"3_CR4","unstructured":"John Horton Conway. Regular Algebra and Finite Machines. Chapman and Hall, London, 1971."},{"key":"3_CR5","unstructured":"J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Compu-tation. Addison-Wesley, 1979."},{"issue":"5","key":"3_CR6","doi-asserted-by":"publisher","first-page":"883","DOI":"10.1137\/0219061","volume":"19","author":"K. Iwano","year":"1990","unstructured":"Kazuo Iwano and Kenneth Steiglitz. A semiring on convex polygons and zero-sum cycle problems. SIAM J. Comput., 19(5):883\u2013901, 1990.","journal-title":"SIAM J. Comput"},{"key":"3_CR7","first-page":"3","volume-title":"Automata Studies","author":"S. C. Kleene","year":"1956","unstructured":"Stephen C. Kleene. Representation of events in nerve nets and finite automata. In C. E. Shan-non and J. McCarthy, editors, Automata Studies, pages 3\u201341. Princeton University Press, Princeton, N.J., 1956."},{"key":"3_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0025782","volume-title":"Proc. Workshop on Logic of Programs","author":"D. Kozen","year":"1981","unstructured":"Dexter Kozen. On induction vs. *-continuity. In Kozen, editor, Proc. Workshop on Logic of Programs, volume 131 of Lecture Notes in Computer Science, pages 167\u2013176, New York, 1981. Springer-Verlag."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Dexter Kozen. The Design and Analysis of Algorithms. Springer-Verlag, New York, 1991.","DOI":"10.1007\/978-1-4612-4400-4"},{"issue":"2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D. Kozen","year":"1994","unstructured":"Dexter Kozen. A completeness theorem for Kleene algebras and the algebra of regular events. Infor. and Comput., 110(2):366\u2013390, May 1994.","journal-title":"Infor. and Comput"},{"key":"3_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1007\/3-540-61042-1_35","volume-title":"Proc. Second Int. Workshop Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201996)","author":"D. Kozen","year":"1996","unstructured":"Dexter Kozen. Kleene algebra with tests and commutativity conditions. In T. Margaria and B. Steffen, editors, Proc. Second Int. Workshop Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201996), volume 1055 of Lecture Notes in Computer Science, pages 14\u201333, Passau, Germany, March 1996. Springer-Verlag."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Dexter Kozen. Automata and Computability. Springer-Verlag, New York, 1997.","DOI":"10.1007\/978-1-4612-1844-9"},{"key":"3_CR13","unstructured":"Dexter Kozen. Typed Kleene algebra. Technical Report 98\u20131669, Computer Science Department, Cornell University, March 1998."},{"key":"3_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/3-540-18088-5_17","volume-title":"Proc. 14th Colloq. Automata, Languages, and Programming","author":"W. Kuich","year":"1987","unstructured":"Werner Kuich. The Kleene and Parikh theorem in complete semirings. In T. Ottmann, editor, Proc. 14th Colloq. Automata, Languages, and Programming, volume 267 of Lecture Notes in Computer Science, pages 212\u2013225, New York, 1987. EATCS, Springer-Verlag."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Werner Kuich and Arto Salomaa. Semirings, Automata, and Languages. Springer-Verlag, Berlin, 1986.","DOI":"10.1007\/978-3-642-69959-7"},{"key":"3_CR16","unstructured":"K. C. Ng. Relation Algebras with Transitive Closure. PhD thesis, University of California, Berkeley, 1984."},{"key":"3_CR17","series-title":"Lect Notes Comput Sci","first-page":"77","volume-title":"Proc. Conf. on Algebra and Computer Science","author":"V. Pratt","year":"1988","unstructured":"Vaughan Pratt. Dynamic algebras as a well-behaved fragment of relation algebras. In D. Pigozzi, editor, Proc. Conf. on Algebra and Computer Science, volume 425 of Lecture Notes in Computer Science, pages 77\u2013110, Ames, Iowa, June 1988. Springer-Verlag."},{"key":"3_CR18","first-page":"120","volume":"16","author":"V. N. Redko","year":"1964","unstructured":"V. N. Redko. On defining relations for the algebra of regular events. Ukrain.Mat.Z., 16:120\u2013126, 1964. In Russian.","journal-title":"Ukrain.Mat.Z"},{"issue":"1","key":"3_CR19","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/321312.321326","volume":"13","author":"A. Salomaa","year":"1966","unstructured":"Arto Salomaa. Two complete axiom systems for the algebra of regular events. J. Assoc. Comput. Mach., 13(1):158\u2013169, January 1966.","journal-title":"J. Assoc. Comput. Mach"},{"issue":"3","key":"3_CR20","doi-asserted-by":"publisher","first-page":"65","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Alfred Tarski. On the calculus of relations. J. Symb. Logic, 6(3):65\u2013106, 1941.","journal-title":"J. Symb. Logic"}],"container-title":["Lecture Notes in Computer Science","STACS 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44693-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T10:42:20Z","timestamp":1683888140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44693-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540416951","9783540446934"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-44693-1_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}