Back to Results
First PageMeta Content
Logic / Linguistics / Philosophical logic / Symbol / Mixing / Interpretation


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: 175,15 KB

Share Result on Facebook

City

CNRS / Paris / /

Country

Germany / France / /

IndustryTerm

translation tools / type inference algorithm / automated reasoning tools / /

Organization

Technische Universität München / /

Person

Ty / /

Position

producer / guard / /

ProvinceOrState

New Hampshire / /

Technology

Monomorphization algorithms / type inference algorithm / /

SocialTag