DMCA

Typed Kleene algebra (1998)

by Dexter Kozen
Citations:24 - 4 self