|
Mendler, Michael: Timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits
. In: Miglioli, P. ; Moscato, U. ; Mundici, D. ; Ornaghi, M. (Hrsg.) : Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Berlin u.a. : Springer, 1996, (LNAI Bd. 1071), S. 261-277.
Institution: Professur für Grundlagen der Informatik
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|