A (machine-oriented) logic based on pattern matching

DOI10.1017/S0960129523000191MaRDI QIDQ6149946zbMATH OpenOpenAlexFDO

Authors Tim Lethen

Publication date 5 March 2024

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129523000191

zbMATH Keywords

combinatory logiccondensed detachmentFool's modelpattern matchingprincipal typesunification

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• A simplified form of condensed detachment
• An automatic theorem prover for substitution and detachment systems
• Condensed detachment as a rule of inference
• scientific article; zbMATH DE number 5318491 (Why is no real title available?)
• scientific article; zbMATH DE number 3666758 (Why is no real title available?)
• scientific article; zbMATH DE number 1042221 (Why is no real title available?)
• Implementing the `Fool's model' of combinatory logic
• In memoriam Carew Arthur Meredith (1904-1976)
• Unification: a multidisciplinary survey

This page was built for publication: A (machine-oriented) logic based on pattern matching

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6149946)