{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:53:20Z","timestamp":1725677600112},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642294846"},{"type":"electronic","value":"9783642294853"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29485-3_1","type":"book-chapter","created":{"date-parts":[[2012,4,25]],"date-time":"2012-04-25T13:03:23Z","timestamp":1335359003000},"page":"1-11","source":"Crossref","is-referenced-by-count":1,"title":["Residuated Kleene Algebras"],"prefix":"10.1007","author":[{"given":"Hajnal","family":"Andr\u00e9ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Szabolcs","family":"Mikul\u00e1s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istv\u00e1n","family":"N\u00e9meti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/BF01190407","volume":"28","author":"H. Andr\u00e9ka","year":"1991","unstructured":"Andr\u00e9ka, H.: Representation of distributive lattice-ordered semigroups with binary relations. Algebra Universalis\u00a028, 12\u201325 (1991)","journal-title":"Algebra Universalis"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s00012-011-0142-3","volume":"66","author":"H. Andr\u00e9ka","year":"2011","unstructured":"Andr\u00e9ka, H., Mikul\u00e1s, S.: Axiomatizability of positive algebras of binary relations. Algebra Universalis\u00a066(1), 7\u201334 (2011)","journal-title":"Algebra Universalis"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"7099","DOI":"10.1016\/j.tcs.2011.09.024","volume":"412","author":"H. Andr\u00e9ka","year":"2011","unstructured":"Andr\u00e9ka, H., Mikul\u00e1s, S., N\u00e9meti, I.: The equational theory of Kleene lattices. Theoretical Computer Science\u00a0412, 7099\u20137108 (2011)","journal-title":"Theoretical Computer Science"},{"key":"1_CR4","unstructured":"Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall (1971)"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/S0304-3975(99)00079-1","volume":"230","author":"S. Crvenkovi\u0107","year":"2000","unstructured":"Crvenkovi\u0107, S., Dolinka, I., \u00c9sik, Z.: The variety of Kleene algebras with conversion is not finitely based. Theoretical Computer Science\u00a0230, 235\u2013245 (2000)","journal-title":"Theoretical Computer Science"},{"key":"1_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"},{"issue":"1","key":"1_CR7","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1017\/S1755020310000249","volume":"4","author":"R. Hirsch","year":"2011","unstructured":"Hirsch, R., Mikul\u00e1s, S.: Positive reducts of relevance logic and algebras of binary relations. Review of Symbolic Logic\u00a04(1), 81\u2013105 (2011)","journal-title":"Review of Symbolic Logic"},{"issue":"2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/B:STUD.0000032089.54776.63","volume":"76","author":"P. Jipsen","year":"2004","unstructured":"Jipsen, P.: From semirings to residuated Kleene lattices. Studia Logica\u00a076(2), 291\u2013303 (2004)","journal-title":"Studia Logica"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D. Kozen","year":"1994","unstructured":"Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. Information and Computation\u00a0110, 366\u2013390 (1994)","journal-title":"Information and Computation"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Kozen, D.: On action algebras. In: van Eijck, J., Visser, A. (eds.) Logic and Information Flow, pp. 78\u201388. MIT Press (1994)","DOI":"10.7551\/mitpress\/4286.003.0007"},{"issue":"3","key":"1_CR11","doi-asserted-by":"publisher","first-page":"951","DOI":"10.2307\/2274756","volume":"54","author":"R.D. Maddux","year":"1989","unstructured":"Maddux, R.D.: Non-finite-axiomatizability results for cylindric and relation algebras. Journal of Symbolic Logic\u00a054(3), 951\u2013974 (1989)","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"1_CR12","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1093\/jigpal\/jzq044","volume":"19","author":"S. Mikul\u00e1s","year":"2011","unstructured":"Mikul\u00e1s, S.: On representable ordered residuated semigroups. Logic Journal of the IGPL\u00a019(1), 233\u2013240 (2011)","journal-title":"Logic Journal of the IGPL"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BFb0018436","volume-title":"Logics in AI","author":"V. Pratt","year":"1991","unstructured":"Pratt, V.: Action Logic and Pure Induction. In: van Eijck, J. (ed.) JELIA 1990. LNCS, vol.\u00a0478, pp. 97\u2013120. Springer, Heidelberg (1991)"},{"key":"1_CR14","first-page":"120","volume":"16","author":"V.N. Redko","year":"1964","unstructured":"Redko, V.N.: On defining relations for the algebra of regular events. Ukrain. Mat. Z.\u00a016, 120\u2013126 (1964) (in Russian)","journal-title":"Ukrain. Mat. Z."}],"container-title":["Lecture Notes in Computer Science","Logic and Program Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29485-3_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,23]],"date-time":"2024-04-23T22:28:43Z","timestamp":1713911323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29485-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642294846","9783642294853"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29485-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}