Publication
-
Automatentheorie, complexiteit en algoritmen [Automata theory, complexity and algorithms] Tech Report
January 1983 -
Evolution semigroups and Hamiltonian flows Tech Report
January 1983 -
January 1983 -
January 1983 -
Pseudocompactness for G-spaces Tech Report
January 1983 -
January 1983 -
Another incompleteness theorem for Hoare's logic Tech Report
January 1983 -
PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness Tech Report
January 1983