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


NOT PUBLICALLY AVAILABLE

Discussion Paper #102

Title:Notes on the Constructive Omega-Rule and a New Method of Generalisation
Authors:Baker,S
Date:Mar 1991
Presented:
Keywords:
Abstract:


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