Higher-Order Multi-Valued Resolution
From MaRDI portal
Publication:4443416
DOI10.1080/11663081.1999.10510980zbMath1033.03502OpenAlexW2088900498WikidataQ57389431 ScholiaQ57389431MaRDI QIDQ4443416
Ortwin Scheja, Michael Kohlhase
Publication date: 13 January 2004
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: http://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/373
Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)
Uses Software
Cites Work