scientific article; zbMATH DE number 1303341
From MaRDI portal
Publication:4249894
zbMath0924.03018MaRDI QIDQ4249894
Publication date: 7 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
second-order logiclambda calculusautomated theorem provingcircumscriptionunification algorithmmost-general-unifier property
Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)
Related Items (2)
Analytic tableaux for higher-order logic with choice ⋮ Automatic derivation of the irrationality of \(e\)
This page was built for publication:
