Automated Reasoning
From MaRDI portal
Publication:5307080
DOI10.1007/b98691zbMath1127.03009OpenAlexW4239036627MaRDI QIDQ5307080
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98691
Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)
Related Items (5)
Mathematical induction in Otter-lambda ⋮ Unnamed Item ⋮ A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets ⋮ Restricted combinatory unification ⋮ Term Sequent Logic
This page was built for publication: Automated Reasoning
