Kleene algebra with commutativity conditions is undecidable

Open in new window