Sort It Out with Monotonicity
From MaRDI portal
Publication:5200026
DOI10.1007/978-3-642-22438-6_17zbMath1341.03017OpenAlexW136844454MaRDI QIDQ5200026
Ann Lillieström, Koen Claessen, Nicholas Smallbone
Publication date: 29 July 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22438-6_17
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
The higher-order prover \textsc{Leo}-II ⋮ Automatic Proof and Disproof in Isabelle/HOL ⋮ Monotonicity inference for higher-order formulas ⋮ Encoding Monomorphic and Polymorphic Types ⋮ Model Finding for Recursive Functions in SMT ⋮ Finding Finite Models in Multi-sorted First-Order Logic ⋮ Twee: an equational theorem prover
Uses Software
Cites Work
- Automated inference of finite unsatisfiability
- Automated reasoning about elementary point-set topology
- Translating higher-order clauses to first-order clauses
- Frontiers of combining systems. 5th international workshop, FroCos 2005, Vienna, Austria, September 19--21, 2005. Proceedings.
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- Theory and Applications of Satisfiability Testing
- Frontiers of Combining Systems
- Frontiers of Combining Systems
- Monotonicity Inference for Higher-Order Formulas
- Unnamed Item
This page was built for publication: Sort It Out with Monotonicity
