{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T17:08:13Z","timestamp":1776272893667,"version":"3.50.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227294","type":"print"},{"value":"9783032227300","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22730-0_11","type":"book-chapter","created":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T16:23:51Z","timestamp":1776270231000},"page":"220-239","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Partial Reductions for Kleene Algebra with Linear Hypotheses"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-1656-3897","authenticated-orcid":false,"given":"Liam","family":"Chung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6068-880X","authenticated-orcid":false,"given":"Tobias","family":"Kapp\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,4,15]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","unstructured":"de\u00a0Amorim, A.A., Zhang, C., Gaboardi, M.: Kleene algebra with commutativity conditions is undecidable. In: CSL (2025). https:\/\/doi.org\/10.4230\/LIPICS.CSL.2025.36","DOI":"10.4230\/LIPICS.CSL.2025.36"},{"key":"11_CR2","doi-asserted-by":"publisher","unstructured":"Anderson, C.J., Foster, N., Guha, A., Jeannin, J., Kozen, D., Schlesinger, C., Walker, D.: NetKAT: semantic foundations for networks. In: POPL (2014). https:\/\/doi.org\/10.1145\/2535838.2535862","DOI":"10.1145\/2535838.2535862"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Book, R.V., Otto, F.: String-Rewriting Systems. Springer (1993)","DOI":"10.1007\/978-1-4613-9771-7"},{"key":"11_CR4","doi-asserted-by":"publisher","unstructured":"Braibant, T., Pous, D.: Deciding Kleene algebras in Coq. Log. Methods Comput. Sci. 8(1) (2012). https:\/\/doi.org\/10.2168\/LMCS-8(1:16)2012","DOI":"10.2168\/LMCS-8(1:16)2012"},{"key":"11_CR5","unstructured":"Chung, L., Kapp\u00e9, T.: Partial reductions for Kleene algebra with linear hypotheses (2026), https:\/\/arxiv.org\/abs\/2601.14114"},{"key":"11_CR6","unstructured":"Cohen, E.: Hypotheses in Kleene algebra. Tech. rep, Bellcore (1994)"},{"key":"11_CR7","unstructured":"Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, London (1971)"},{"key":"11_CR8","doi-asserted-by":"publisher","unstructured":"Doumane, A., Kuperberg, D., Pous, D., Pradic, C.: Kleene algebra with hypotheses. In: FoSSaCS (2019). https:\/\/doi.org\/10.1007\/978-3-030-17127-8_12","DOI":"10.1007\/978-3-030-17127-8_12"},{"key":"11_CR9","doi-asserted-by":"publisher","unstructured":"Kapp\u00e9, T., Brunet, P., Rot, J., Silva, A., Wagemaker, J., Zanasi, F.: Kleene algebra with observations. In: CONCUR (2019). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2019.41","DOI":"10.4230\/LIPIcs.CONCUR.2019.41"},{"key":"11_CR10","doi-asserted-by":"publisher","unstructured":"Kapp\u00e9, T., Brunet, P., Silva, A., Wagemaker, J., Zanasi, F.: Concurrent Kleene algebra with observations: from hypotheses to completeness. FoSSaCS (2020). https:\/\/doi.org\/10.1007\/978-3-030-45231-5_20","DOI":"10.1007\/978-3-030-45231-5_20"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Kleene, S.C.: Representation of events in nerve nets and finite automata. Automata Studies pp. 3\u201341 (1956)","DOI":"10.1515\/9781400882618-002"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. Inf. Comput. 110(2), 366\u2013390 (1994)","DOI":"10.1006\/inco.1994.1037"},{"key":"11_CR13","doi-asserted-by":"publisher","unstructured":"Kozen, D.: Kleene algebra with tests and commutativity conditions. In: TACAS (1996).https:\/\/doi.org\/10.1007\/3-540-61042-1_35","DOI":"10.1007\/3-540-61042-1_35"},{"key":"11_CR14","doi-asserted-by":"publisher","unstructured":"Kozen, D., Mamouras, K.: Kleene algebra with equations. In: ICALP (2014). https:\/\/doi.org\/10.1007\/978-3-662-43951-7_24","DOI":"10.1007\/978-3-662-43951-7_24"},{"key":"11_CR15","doi-asserted-by":"publisher","unstructured":"Kozen, D., Smith, F.: Kleene algebra with tests: Completeness and decidability. In: CSL (1996).https:\/\/doi.org\/10.1007\/3-540-63172-0_43","DOI":"10.1007\/3-540-63172-0_43"},{"key":"11_CR16","doi-asserted-by":"publisher","unstructured":"Kuznetsov, S.L.: On the complexity of reasoning in Kleene algebra with commutativity conditions. In: ICTAC (2023).https:\/\/doi.org\/10.1007\/978-3-031-47963-2_7","DOI":"10.1007\/978-3-031-47963-2_7"},{"key":"11_CR17","doi-asserted-by":"publisher","unstructured":"Maarand, H., Uustalu, T.: Reordering derivatives of trace closures of regular languages. In: CONCUR (2019).https:\/\/doi.org\/10.4230\/LIPICS.CONCUR.2019.40","DOI":"10.4230\/LIPICS.CONCUR.2019.40"},{"key":"11_CR18","doi-asserted-by":"publisher","unstructured":"Pous, D., Rot, J., Wagemaker, J.: On tools for completeness of Kleene algebra with hypotheses. Log. Methods Comput. Sci. 20(2) (2024). https:\/\/doi.org\/10.46298\/LMCS-20(2:8)2024","DOI":"10.46298\/LMCS-20(2:8)2024"},{"key":"11_CR19","doi-asserted-by":"publisher","unstructured":"Thompson, K.: Regular expression search algorithm. Commun. ACM 11(6), 419\u2013422 (1968). https:\/\/doi.org\/10.1145\/363347.363387","DOI":"10.1145\/363347.363387"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22730-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T16:23:53Z","timestamp":1776270233000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22730-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227294","9783032227300"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22730-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"15 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FoSSaCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Foundations of Software Science and Computation Structures","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fossacs2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2026\/conferences\/fossacs\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}