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

Document Versions

A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits –Michael Mendler — 1996 — PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS