A few exercises in theorem processing

DOI10.1016/J.TCS.2006.12.037zbMath1111.68114OpenAlexW2067501613MaRDI QIDQ879370

F. L. Morris

Publication date: 11 May 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.12.037

zbMATH Keywords

conversionsderived inference ruleslist processingtheorem processing

Mathematics Subject Classification ID

Uses Software

• ML
• HOL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A higher-order implementation of rewriting
• Edinburgh LCF. A mechanized logic of computation
• GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept

This page was built for publication: A few exercises in theorem processing