WALDMEISTER - High-Performance Equational Deduction

• 1 January 1997
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 18  (2) , 265-270
• https://doi.org/10.1023/a:1005872405899

Abstract

Keywords

• INFERENCE
• WALDMEISTER
• STRESS
• MODEL
• LOGIC
• TIME
• STRUCTURES
• HIGH PERFORMANCE
• ORDERING
• EQUATIONAL