Autarkic Computations in Formal Proofs (1997)

Cached

Download Links

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