Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG
Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe  Suche: Personen Einrichtungen sonstige Einträge Lehrveranstaltungen Räume
Darstellung   Druckansicht      Außerdem im UnivIS   Vorlesungsverzeichnis     Veranstaltungskalender	Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Informatik >> Professur für Grundlagen der Informatik >> Alechina, N. ; Mendler, Michael ; de Paiva, V. ; Ritter, E.: Categorical and Kripke semantics for constructive S4 modal logic . In: Fribourg, L. (Hrsg.) : Computer Science Logic (CSL`01, Paris, September 2001). 2001, S. 292-307. (LNCS Bd. 2142) UnivIS ist ein Produkt der Config eG, Buckenhof