A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits (1996)

Cached

Download Links

by Michael Mendler
Venue:PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS
Citations:5 - 3 self