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

Publication Details:
Book: Logical Environments
Editors:Huet, G.; Plotkin, G.
Book#: 0-521-43312-6
Publisher:Cambridge University Press, Cambridge
Pages: 61-82

Paper in Conference Proceedings #117

Title:Experience with FSo as a Framework Theory
Authors:Basin,D; Smaill,AD; Matthews,S
Date: 1992
Keywords:matelogical inference, theorem proving

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