Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany
Add to Reading List
Document Date: 2015-01-25 16:18:54
Open Document
File Size: 117,29 KB
Share Result on Facebook
City
CNRS /
Paris /
/
Company
Paulson L.C. /
/
Country
Germany /
France /
/
Facility
TPTP library /
/
IndustryTerm
translation tools /
type inference algorithm /
automated reasoning tools /
prover technology /
/
Organization
Technische Universität München /
TPTP BNF /
/
Person
Tobias Nipkow /
Florian Rabe /
Geoff Sutcliffe /
Mark Summerfield /
Stephan Schulz /
François Bobot /
Andrei Popescu /
Nicholas Smallbone /
Viktor Kuncak /
Philipp Rümmer /
Morgan Kaufmann /
Chad Brown /
/
Position
first author /
producer /
/
TVStation
Wand /
/
Technology
Monomorphization algorithms /
type inference algorithm /
prover technology /
/
URL
http /
SocialTag
Type theory
Formal methods
Model theory
Functional programming
Data types
Symbol
Satisfiability Modulo Theories
Hindley–Milner
Geoff Sutcliffe
Theoretical computer science