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

Document Versions

Hierarchies of Decidable Extensions of Bounded Quantification –Sergei Vorobyov — 1994 — IN 22ND ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES
Structural Decidable Extensions of Bounded Quantification –Sergei Vorobyov — 1995
Structural Decidable Extensions of Bounded Quantification –Sergei Vorobyov — 1994