Kleene algebra with tests and program schematology (2001)

Cached

Download Links

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