Sort It Out with Monotonicity
Authors:
- 1 January 2011
- book chapter
- Published by Springer Nature
- p. 207-221
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Automated Inference of Finite UnsatisfiabilityJournal of Automated Reasoning, 2011
- Monotonicity Inference for Higher-Order Formulas2010
- The TPTP Problem Library and Associated InfrastructureJournal of Automated Reasoning, 2009
- Translating Higher-Order Clauses to First-Order ClausesJournal of Automated Reasoning, 2007
- Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted LogicLecture Notes in Computer Science, 2005
- Connecting a Logical Framework to a First-Order Logic ProverLecture Notes in Computer Science, 2005
- An Extensible SAT-solver2004
- Automated reasoning about elementary point-set topologyJournal of Automated Reasoning, 1989