Uniform Derivation of Decision Procedures by Superposition
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Basic Paramodulation and Decidable Theories
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A rewriting approach to satisfiability procedures
Information and Computation - RTA 2001
Automated Deduction Techniques for Studying Rough Algebras
Fundamenta Informaticae
Simplification Orderings: History Of Results
Fundamenta Informaticae
| Hi-index | 0.00 |