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