Michael Mendler. A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits. In Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi, editors, Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX 96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings. Volume 1071 of Lecture Notes in Computer Science, pages 261-277, Springer, 1996.
@inproceedings{Mendler96,
title = {A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits},
author = {Michael Mendler},
year = {1996},
tags = {refinement, analysis},
researchr = {https://researchr.org/publication/Mendler96},
cites = {0},
citedby = {0},
pages = {261-277},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX 96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings},
editor = {Pierangelo Miglioli and Ugo Moscato and Daniele Mundici and Mario Ornaghi},
volume = {1071},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61208-4},
}