Linear strategy for Boolean ring based theorem proving

DOI10.1007/BF02948814zbMath0958.68160MaRDI QIDQ1579733

Zhuo-Jun Liu, Jinzhao Wu

Publication date: 14 September 2000

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

inference rulesBoolean ring

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On first-order theorem proving using generalized odd-superpositions II
• Refutational theorem proving using term-rewriting systems
• Completely non-clausal theorem proving
• Generalized resolution and NC-resolution
• A new method for the Boolean ring based theorem proving

This page was built for publication: Linear strategy for Boolean ring based theorem proving