Bounded Quantification is Undecidable (1993)

Cached

Download Links

by Benjamin C. Pierce
Venue:Information and Computation
Citations:102 - 9 self