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


Publication Details:
Book: Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts
Editors:MISSING
Book#: MISSING
Publisher:MISSING
Volume:MISSING
Pages: MISSING

Informatics Series Report #04

Title:Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts
Authors:Dennis,L; Bundy,A; Green,I
Date: 1999
Presented:
Keywords:








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