SbReve2
From MaRDI portal
Software:22073
swMATH10104MaRDI QIDQ22073FDOQ22073
Author name not available (Why is that?)
Cited In (9)
- A case study of completion modulo distributivity and Abelian groups
- An application of automated equational reasoning to many-valued logic
- Towards a foundation of completion procedures as semidecision procedures
- Automated proofs of the Moufang identities in alternative rings
- Some experiments with a completion theorem prover
- Automated deduction with associative-commutative operators
- The application of automated reasoning to questions in mathematics and logic
- Completion procedures as semidecision procedures
- Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
This page was built for software: SbReve2
