Logtk

swMATH28635MaRDI QIDQ40349FDOQ40349

Author name not available (Why is that?)

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

Cited In (5)

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

This page was built for software: Logtk