Building Theories In Nuprl (1988)

Cached

Download Links

by David A. Basin
Venue:Logic at Botik 89, number 363 in Lecture Notes in Computer Science
Citations:3 - 1 self

Document Versions

Building Theories In Nuprl –David A. Basin — 1988 — Logic at Botik 89, number 363 in Lecture Notes in Computer Science