Plotkin, Gordon D.
-
DAIMI Report Series Nr. 188 (1985): PB-188 On Proving Limited Completeness - Articles
On Proving Limited Completeness
Resumé PDF (English) -
DAIMI Report Series Nr. 133 (1981): PB-133 A Cook's Tour of Countable Nondeterminism - Articles
A Cook's Tour of Countable Nondeterminism
Resumé PDF (English)