DMCA

Typed Kleene algebra (1998)

by Dexter Kozen
Citations:23 - 4 self