We gratefully acknowledge support from
the Simons Foundation and member institutions.

Arthur Azevedo De Amorim and Cheng Zhang are qualified to endorse.

Kleene algebra with commutativity conditions is undecidable

Arthur Azevedo De Amorim: Is registered as an author of this paper.
Can endorse for cs.CC, cs.CL, cs.CR, cs.LO, cs.PL. (why?)
Cheng Zhang: Is registered as an author of this paper.
Can endorse for cs.CC, cs.CL, cs.LO, cs.PL. (why?)

Marco Gaboardi is not registered as an owner of this paper. (why?)