Extracting Circuits from Constructive Proofs


by David A. Basin

Department of Artificial Intelligence Edinburgh Research Paper 533, (also appeared in Proceedings of the IFIP-IEEE International Workshop on Formal Methods in VLSI Design), 1991.


Sorry, there are no downloadable files available for this document at this time.