×

Found 2 Documents (Results 1–2)

Newest Citations Relevance
Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei

TPS: A theorem proving system for classical type theory. (English) Zbl 1226.03026

Benzmüller, Christoph (ed.) et al., Reasoning in simple type theory. Festschrift in honor of Peter B. Andrews on his 70th birthday. London: College Publications (ISBN 978-1-904987-70-3/pbk). Studies in Logic (London) 17. Mathematical Logic and Foundations, 367-399 (2008).
MSC:  03B35 03B15 68T15 01A75
Cite Review PDF

Filter Results by …

Document Type

all top 5

Author

Year of Publication

Main Field

all top 3

Software