A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits (1996)

by M Mendler
Venue:Proceedings of the 5th Workshop on Theorem Proving with Analytic Tableaux and Related Methods, volume 1071 of Lecture Notes in Artificial Intelligence