|
Mendler, Michael: Characterising timing analyses in intuitionistic modal logic
. In: DeQueiroz, R., J., G., B. ; Finger, M. (Hrsg.) : Workshop on Logic, Language, Information, and Computation. Department of Computer Science : IME/USP University of Sao Paulo, Brazil, 1998, S. 132-140.
Institution: Professur für Grundlagen der Informatik
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|