SbReve2

MaRDI QIDQ22073swMATHFDO

Official website http://link.springer.com/chapter/10.1007/3-540-51081-8_131

Cited in

(13)

• A case study of completion modulo distributivity and Abelian groups
• An application of automated equational reasoning to many-valued logic
• Automated proofs of the Moufang identities in alternative rings
• Some experiments with a completion theorem prover
• Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
• AURA
• InvX
• THEOPOGLES
• RRL
• The application of automated reasoning to questions in mathematics and logic
• Completion procedures as semidecision procedures
• Towards a foundation of completion procedures as semidecision procedures
• Automated deduction with associative-commutative operators

This page was built for software: SbReve2