Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Sammlung/Stundenplan
Home
|
Anmelden
|
Kontakt
|
Hilfe
Suche:
Personen
Einrichtungen
sonstige Einträge
Lehrveranstaltungen
Räume
Lehr-
veranstaltungen
Personen/
Einrichtungen
Räume
Telefon &
E-Mail
Darstellung
Druckansicht
Außerdem im UnivIS
Vorlesungsverzeichnis
Veranstaltungskalender
Einrichtungen
>>
Fakultät Wirtschaftsinformatik / Angewandte Informatik
>>
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