Search Results

Abstract

Cite as

Arthur Azevedo de Amorim, Cheng Zhang, and Marco Gaboardi. Kleene Algebra with Commutativity Conditions Is Undecidable. In 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 326, pp. 36:1-36:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

@InProceedings{azevedodeamorim_et_al:LIPIcs.CSL.2025.36,
  author =	{Azevedo de Amorim, Arthur and Zhang, Cheng and Gaboardi, Marco},
  title =	{{Kleene Algebra with Commutativity Conditions Is Undecidable}},
  booktitle =	{33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)},
  pages =	{36:1--36:25},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-362-1},
  ISSN =	{1868-8969},
  year =	{2025},
  volume =	{326},
  editor =	{Endrullis, J\"{o}rg and Schmitz, Sylvain},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.36},
  URN =		{urn:nbn:de:0030-drops-227933},
  doi =		{10.4230/LIPIcs.CSL.2025.36},
  annote =	{Keywords: Kleene Algebra, Hypotheses, Complexity}
}