SbReve2
From MaRDI portal
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