Kleene algebra with tests and program schematology (2001)

Cached

Download Links

by Allegra Angus , Dexter Kozen
Citations:17 - 6 self