MadMax

swMATH28631MaRDI QIDQ40345FDOQ40345

Author name not available (Why is that?)

Described by source

• MædMax: a maximal ordered completion tool

Cited In (4)

• AC simplifications and closure redundancies in the superposition calculus
• Twee: an equational theorem prover
• Ground joinability and connectedness in the superposition calculus
• Certified equational reasoning via ordered completion

This page was built for software: MadMax