MadMax

swMATH28631MaRDI QIDQ40345FDOQ40345

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-319-94205-6_31

Described by source

• MædMax: a maximal ordered completion tool

Cited In (7)

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

This page was built for software: MadMax