Completely Bounded Quantification is Decidable (1992)

Cached

Download Links

by Dinesh Katiyar , Sriram Sankar
Venue:In ACM SIGPLAN Workshop on ML and its Applications
Citations:14 - 3 self