{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:10:05Z","timestamp":1775873405362,"version":"3.50.1"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319062501","type":"print"},{"value":"9783319062518","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06251-8_7","type":"book-chapter","created":{"date-parts":[[2014,4,8]],"date-time":"2014-04-08T01:32:39Z","timestamp":1396920759000},"page":"101-118","source":"Crossref","is-referenced-by-count":5,"title":["Kleene Algebra with Converse"],"prefix":"10.1007","author":[{"given":"Paul","family":"Brunet","sequence":"first","affiliation":[]},{"given":"Damien","family":"Pous","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/BF01190768","volume":"33","author":"S.L. Bloom","year":"1995","unstructured":"Bloom, S.L., \u00c9sik, Z., Stefanescu, G.: Notes on equational theories of relations. Algebra Universalis\u00a033, 98\u2013126 (1995)","journal-title":"Algebra Universalis"},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1051\/ita\/1990240404191","volume":"24","author":"M. Boffa","year":"1990","unstructured":"Boffa, M.: Une remarque sur les syst\u00e8mes complets d\u2019identit\u00e9s rationnelles. Informatique Th\u00e9orique et Applications\u00a024, 419\u2013428 (1990)","journal-title":"Informatique Th\u00e9orique et Applications"},{"key":"7_CR3","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1051\/ita\/1995290605151","volume":"29","author":"M. Boffa","year":"1995","unstructured":"Boffa, M.: Une condition impliquant toutes les identit\u00e9s rationnelles. Informatique Th\u00e9orique et Applications\u00a029, 515\u2013518 (1995)","journal-title":"Informatique Th\u00e9orique et Applications"},{"key":"7_CR4","unstructured":"Brunet, P., Pous, D.: Extended version of this abstract, with omitted proofs. Technical report, LIP - CNRS, ENS Lyon (2014), http:\/\/hal.archives-ouvertes.fr\/hal-00938235"},{"key":"7_CR5","unstructured":"Conway, J.H.: Regular algebra and finite machines. Chapman and Hall Mathematics Series (1971)"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0304-3975(94)00041-G","volume":"137","author":"Z. \u00c9sik","year":"1995","unstructured":"\u00c9sik, Z., Bern\u00e1tsky, L.: Equational properties of Kleene algebras of relations with conversion. Theoretical Computer Science\u00a0137, 237\u2013251 (1995)","journal-title":"Theoretical Computer Science"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1070\/RM1961v016n05ABEH004112","volume":"16","author":"V.M. Glushkov","year":"1961","unstructured":"Glushkov, V.M.: The abstract theory of automata. Russian Mathematical Surveys\u00a016, 1 (1961)","journal-title":"Russian Mathematical Surveys"},{"key":"7_CR8","unstructured":"Kleene, S.C.: Representation of Events in Nerve Nets and Finite Automata. Memorandum. Rand Corporation (1951)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Kozen, D.: A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events. In: LICS, pp. 214\u2013225. IEEE Computer Society (1991)","DOI":"10.1109\/LICS.1991.151646"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/BFb0032022","volume-title":"Automata, Languages and Programming","author":"D. Krob","year":"1990","unstructured":"Krob, D.: A Complete System of B-Rational Identities. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.\u00a0443, pp. 60\u201373. Springer, Heidelberg (1990)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Meyer, A., Stockmeyer, L.J.: Word problems requiring exponential time. In: Proc. ACM Symposium on Theory of Computing, pp. 1\u20139. ACM (1973)","DOI":"10.1145\/800125.804029"},{"key":"7_CR12","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall (1989)"},{"key":"7_CR13","unstructured":"Redko, V.N.: On defining relations for the algebra of regular events. In: Ukrainskii Matematicheskii Zhurnal, pp. 120\u2013126 (1964)"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1145\/321312.321326","volume":"13","author":"A. Salomaa","year":"1966","unstructured":"Salomaa, A.: Two Complete Axiom Systems for the Algebra of Regular Events. J. ACM\u00a013, 158\u2013169 (1966)","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06251-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T09:07:16Z","timestamp":1746176836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06251-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319062501","9783319062518"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06251-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}