Logosphere.
A Formal Digital Library.
Department of Computer Science
Yale University
51 Prospect St.
New Haven, CT 06520-8285
U.S.A.
|
Home |
|
|
Publications |
|
|
Logics Resolution Paramodulation HOL Nuprl PVS |
|
|
Examples |
Propositional Logics
Resolution (resolution-0.1)First-Order Logics
Resolution (paramodulation-0.1)Higher-Order Logics
HOL (hol-1.0)Type Theories
Nurpl (nuprl-1.0)PVS (pvs-0.1)