The TPS Theorem Proving System - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Peter B. Andrews, Sunil Issar, Daniel Nesmith, Frank Pfenning. The TPS Theorem Proving System. In Ewing L. Lusk, Ross A. Overbeek, editors, 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings. Volume 310 of Lecture Notes in Computer Science, pages 760-761, Springer, 1988.

The following publications are possibly variants of this publication:

The TPS Theorem Proving SystemPeter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning. cade 1990: 641-642

The TPS Theorem Proving SystemPeter B. Andrews, Frank Pfenning, Sunil Issar, C. P. Klapper. cade 1986: 663-664

TPS: A Theorem-Proving System for Classical Type TheoryPeter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi. JAR, 16(3):321-353, 1996.

System Description: TPS: A Theorem Proving System for Type TheoryPeter B. Andrews, Matthew Bishop, Chad E. Brown. cade 2000: 164-169

Proving Theorems of Type Theory Automatically with TPSPeter B. Andrews. AAAI 2005: 1676-1677

Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching LogicPeter B. Andrews, Chad E. Brown. cade 2000: 511-512

TPS: An Interactive and Automatic Tool for Proving Theorems of Type TheoryPeter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi. tphol 1994: 366-370

runs on WebDSL