On the coalgebraic theory of Kleene algebra with tests (2008)

Cached

Download Links

by Dexter Kozen
Citations:14 - 0 self