Logtk

MaRDI QIDQ40349swMATHFDO

Official website https://hal.inria.fr/hal-01101057

Cited in

(5)

• Robinson arithmetic
• Formalizing Bachmair and Ganzinger's ordered resolution prover
• Nested Multisets
• Formalizing Bachmair and Ganzinger's ordered resolution prover
• Saturation_Framework

This page was built for software: Logtk