On the Complexity of Reasoning in Kleene Algebra (1997)

Cached

Download Links

by Dexter Kozen
Venue:Information and Computation
Citations:10 - 4 self