Department of Computer Information Science

Amy Felty

Description

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

Sujets

• Language
• Logic programming
• Higher-order logic

Informations

• Publié par: chaeh
• Nombre de lectures: 8
• Langue: English

Extrait

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 University of Pennsylvania

This paper is posted at ScholarlyCommons. http://repository.upenn.edu/cis reports/622

Dale Miller University of Pennsylvania