The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Publication Details:
Book: CADE-12 Workshop on Proof Search in Type-Theoretic Languages
Editors:Galmiche, D.; Wallen, L.
Book#: MISSING
Publisher:CADE, Nancy, France
Volume:MISSING
Pages: 55-61

Paper in Conference Proceedings #867

Title:Guiding Proof Search in Logical Frameworks with Rippling
Authors:Negere,S; Smaill,AD
Date: 1994
Presented:
Keywords:proof search, type theory








[Search These Pages] [DAI Home Page] [Comment]