Cancellative abelian monoids and related structures in refutational theorem proving (Part I)
Journal of Symbolic Computation
Cancellative abelian monoids and related structures in refutational theorem proving (part II)
Journal of Symbolic Computation
Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Automated Deduction Techniques for Studying Rough Algebras
Fundamenta Informaticae
Hi-index | 0.00 |