A foray into combinatory logic

DOI10.1007/BF00248251zbMath0636.68122OpenAlexW2008359486MaRDI QIDQ1098335

Barney Glickfeld, Ross A. Overbeek

Publication date: 1986

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00248251

zbMATH Keywords

automated reasoningcombinatory logicautomated theorem proversparamodulationproof checkingITP

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)

Related Items (2)

A case study in automated theorem proving: Finding sages in combinatory logic ⋮ The word problem for Smullyan's lark combinator is decidable

Cites Work

• Problem corner: Reasoning about equality

This page was built for publication: A foray into combinatory logic