TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory (1994)


Download Links

by Peter B. Andrews , Matthew Bishop , Sunil Issar , Dan Nesmith , Frank Pfenning , Hongwei Xi , Contact Peter , B. Andrews
Venue:Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, volume 780 of Lecture Notes in Computer Science
Citations:1 - 1 self