On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions.

Stepan L. Kuznetsov

Browse the full ICTAC paper archive.