Monotonicity Inference for Higher-Order Formulas
From MaRDI portal
Publication:5747753
DOI10.1007/978-3-642-14203-1_8zbMath1291.03016OpenAlexW1810279616MaRDI QIDQ5747753
Alexander Krauss, Jasmin Christian Blanchette
Publication date: 14 September 2010
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14203-1_8
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Automatic Proof and Disproof in Isabelle/HOL ⋮ Monotonicity inference for higher-order formulas ⋮ Sort It Out with Monotonicity
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An introduction to mathematical logic and type theory: To truth through proof.
- The small model property: How small can it be?
- Verifying a Hotel Key Card System
- A Brief Overview of HOL4
- Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
- Kodkod: A Relational Model Finder
This page was built for publication: Monotonicity Inference for Higher-Order Formulas