UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:       
 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 .
In: Straube, B. (Hrsg.) : GI/ITG/GME Workshop Methoden des Entwurfs und der Verifikation Digitaler Systeme.
Aachen : Shaker, 1996, S. 121-130.

Institution: Professur für Grundlagen der Informatik
UnivIS ist ein Produkt der Config eG, Buckenhof