TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism
Authors:
- 1 January 2013
- book chapter
- Published by Springer Nature
- p. 414-420
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Encoding Monomorphic and Polymorphic Types2013
- The TPTP Typed First-Order Form with Arithmetic2012
- Expressing Polymorphic Types in a Many-Sorted Language2011
- A Polymorphic Intermediate Verification Language: Design and Logical Encoding2010
- The TPTP World – Infrastructure for Automated Reasoning2010
- The TPTP Problem Library and Associated InfrastructureJournal of Automated Reasoning, 2009
- THF0 – The Core of the TPTP Language for Higher-Order LogicLecture Notes in Computer Science, 2008
- Implementing polymorphism in SMT solvers2008
- Handling Polymorphism in Automated DeductionLecture Notes in Computer Science, 2007
- Integrating Linear Arithmetic into Superposition CalculusLecture Notes in Computer Science, 2007