Relating Multifunctions and Predicate Transformers through Closure Operators (1994)

Cached

Download Links

by Marcello M. Bonsangue , Joost N. Kok
Venue:of Lecture Notes in Computer Science
Citations:4 - 3 self