The problem of demodulator adjunction

DOI10.1007/BF00245464zbMath0781.68104WikidataQ114267065 ScholiaQ114267065MaRDI QIDQ688566

Larry Wos

Publication date: 20 December 1993

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

zbMATH Keywords

automated reasoningunsolved research problemdemodulators

Mathematics Subject Classification ID

Cites Work

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