Monotonicity Inference for Higher-Order Formulas
From MaRDI portal
Publication:5747753
DOI10.1007/978-3-642-14203-1_8zbMath1291.03016MaRDI 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
03B35: Mechanization of proofs and logical operations
Related Items
Sort It Out with Monotonicity, Monotonicity inference for higher-order formulas, Automatic Proof and Disproof in Isabelle/HOL
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