|
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 |
|
|