SbReve2
From MaRDI portal
swMATH10104MaRDI QIDQ22073FDOQ22073
Author name not available (Why is that?)
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
- Towards a foundation of completion procedures as semidecision procedures
- Automated proofs of the Moufang identities in alternative rings
- AURA
- InvX
- THEOPOGLES
- RRL
- 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
