Autarkic Computations in Formal Proofs (1997)

Cached

Download Links

by Henk Barendregt , Erik Barendsen
Venue:J. Autom. Reasoning
Citations:21 - 1 self

Document Versions

Autarkic Computations in Formal Proofs –Henk Barendregt, Erik Barendsen — 1997 — J. Autom. Reasoning