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


Documents on: decision procedures

CB3 1991 Chapter in Edited Book Bundy,A
the Use of Proof Plans for Normalization


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