Kleene algebra with tests and program schematology (2001)

Cached

Download Links

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