DMCA

On the elimination of hypotheses in Kleene algebra with tests (2002)

Cached

Download Links

by Chris Hardin , Dexter Kozen
Citations:11 - 5 self