DMCA

Priority and Maximal Progress are completely axiomatisable (Extended Abstract) (1998)

by Holger Hermanns , Markus Lohrey
Citations:17 - 6 self