Skip to content
cs-conference-ranking.org

Bounded Quantification is Undecidable.

Benjamin C. Pierce

VenueA*POPL
Year1992
ProceedingsPOPL
DBLP recordconf/popl/Pierce92 ↗

Browse the full POPL paper archive.