MadMax
From MaRDI portal
Software:40345
No author found.
Related Items (4)
AC simplifications and closure redundancies in the superposition calculus ⋮ Twee: an equational theorem prover ⋮ Certified equational reasoning via ordered completion ⋮ Ground joinability and connectedness in the superposition calculus
This page was built for software: MadMax
