1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi
We prove that the equational theory of Kleene algebra with commutativity conditions on primitives (or atomic terms) is undecidable, thereby settling a longstanding open question in…