Monotonox

swMATH10406MaRDI QIDQ22367FDOQ22367

Author name not available (Why is that?)

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
• Sort it out with monotonicity. Translating between many-sorted and unsorted first-order logic
• Hotel Key Card
• Automatic proof and disproof in Isabelle/HOL

This page was built for software: Monotonox