Hierarchies of Decidable Extensions of Bounded Quantification (1994)

Cached

Download Links

by Sergei Vorobyov
Venue:IN 22ND ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:7 - 5 self