Searching for "TPS An Interactive and Automatic Tool for Proving Theorems of Type Theory." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory
by Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi, Contact Peter, B. Andrews — 1994 — Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, volume 780 of Lecture Notes in Computer Science
…TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory 1 1 1 Peter B. Andrews…
Cited by 1 (1 self) – Add To MetaCart

Cv
by Hongwei Xi
…, Dan Nesmith, Frank Pfenning, and Hongwei Xi, TPS: An interactive and automatic tool for proving…
Add To MetaCart

Cv
by Hongwei Xi — 1999
… Pfenning, and Hongwei Xi, TPS: A Theorem Proving System for Classical Type Theory, Journal of Automated…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB