Sciweavers

LICS
1997
IEEE

On the Complexity of Reasoning in Kleene Algebra

14 years 4 months ago
On the Complexity of Reasoning in Kleene Algebra
Dexter Kozen
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1997
Where LICS
Authors Dexter Kozen
Comments (0)