Timing analysis of combinational circuits in intuitionistic propositional logic (0)

by M Mendler
Venue:Formal Methods in System Design 17 (2000