MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "TPS A Theorem-Proving System for Classical Type Theory." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • 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
  • …-268-2554 Abstract This is a demonstration of TPS, a theorem proving system for classical type theory (Church…
  • Cited by 1 (1 self) – Add To MetaCart
  • Cv  
  • by Hongwei Xi
  • … Theorem Proving System for Classical Type Theory, Journal of Automated Reasoning, 16(3), pp. 321-353, 1996…
  • 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
  • Integrating TPS and ΩMEGA  
  • by Christoph Benzmüller, Matthew Bishop, Volker Sorge — 1999 — JOURNAL OF UNIVERSAL COMPUTER SCIENCE
  • …-order equality and extensionality. mega is, like Tps, a theorem proving system for classical type theory (Church…
  • Cited by 6 (3 self) – Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB