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


Publication Details:
Book: IFIP-IEEE Int Wkshp on Formal Methods in VLSI Design
Editors:MISSING
Book#: MISSING
Publisher:Springer-Verlag, Miami
Volume:MISSING
Pages: MISSING

Paper in Conference Proceedings #115

Title:Extracting Circuits from Constructive Proofs
Authors:Basin,D
Date: 1992
Presented:
Keywords:computational logic, program synthesis








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