BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
theorem (5)
system (5)
prove (5)
look (1)
etp (1)

Stem tps$ (all stems)

6 papers:

CADECADE-2000-AndrewsB #education #higher-order #logic #named #proving #theorem proving #tutorial #using
Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic (PBA, CEB), pp. 511–512.
CADECADE-2000-AndrewsBB #proving #theorem proving #type system
System Description: TPS: A Theorem Proving System for Type Theory (PBA, MB, CEB), pp. 164–169.
CADECADE-1990-AndrewsINP #proving #theorem proving
The TPS Theorem Proving System (PBA, SI, DN, FP), pp. 641–642.
CADECADE-1988-AndrewsINP #proving #theorem proving
The TPS Theorem Proving System (PBA, SI, DN, FP), pp. 760–761.
CADECADE-1986-AndrewsPIK #proving #theorem proving
The TPS Theorem Proving System (PBA, FP, SI, CPK), pp. 663–664.
CADECADE-1982-MillerCA
A Look at TPS (DM, ELC, PBA), pp. 50–69.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.