Monotonox

MaRDI QIDQ22367swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_17

Cited in

(5)

• Monotonicity inference for higher-order formulas
• TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism
• Hotel Key Card
• Sort it out with monotonicity. Translating between many-sorted and unsorted first-order logic
• Automatic proof and disproof in Isabelle/HOL

This page was built for software: Monotonox