scientific article

zbMath0757.03008MaRDI QIDQ4012878

Leen Helmink, René M. C. Ahn

Publication date: 27 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

resolutiongoal-directed proofAutomath languagesproof construction in Generalized Type Systems

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Second- and higher-order arithmetic and fragments (03F35) Combinatory logic and lambda calculus (03B40)

Related Items

TPS: A theorem-proving system for classical type theory ⋮ Checking algorithms for Pure Type Systems

Uses Software

• Nuprl