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 >> Aguado, Joaquin ; Mendler, Michael: Constructive Game Semantics for Instantaneous Reactions . In: D. R. Ghica ; G. McCusker (Hrsg.) : Proceedings of GaLoP 2005 (Games for Logics and Programming Languages,, Edinburgh,, April 2005). 2005, S. 16-31. Institution: Professur für Grundlagen der Informatik UnivIS ist ein Produkt der Config eG, Buckenhof