A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits.

Michael Mendler

Browse the full TABLEAUX paper archive.