Department of Computer Information Science

Niveau: Supérieur
Department of Computer & Information Science Technical Reports (CIS) University of Pennsylvania Year 1988 Specifying Theorem Provers in a Higher-Order Logic Programming Language Amy Felty Dale Miller University of Pennsylvania University of Pennsylvania This paper is posted at ScholarlyCommons. reports/622

• provers can


• provide means


• order unification


• languages


• introducing suitable constants


• theorem provers


• logic programming


• higher-order logic


• very complex