Monotonox

swMATH10406MaRDI QIDQ22367FDOQ22367

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

Cited in

(5)

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

This page was built for software: Monotonox