<<
On the Complexity of Reasoning in Kleene Algebra
Dexter Kozen Computer Science Department, Upson Hall, Cornell University, Ithaca, NY 14853-7501, USA
E-mail: [email protected]
We study the complexity of reasoning in Kleene algebra and -continuous Kleene
algebra in the presence of extra equational assumptions E ; that is, the complexity
s t E of deciding the validity of universal Horn formulas E , where is a finite
set of equations. We obtain various levels of complexity based on the form of the