Complete demodulation for automatic theorem proving

DOI10.1016/0898-1221(76)90028-6zbMath0366.68061OpenAlexW2082180574MaRDI QIDQ1241989

Steven K. Winker

Publication date: 1976

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(76)90028-6

Mathematics Subject Classification ID

General logic (03B99)

Cites Work

• Complexity and related enhancements for automated theorem-proving programs
• The Concept of Demodulation in Theorem Proving
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Complete demodulation for automatic theorem proving