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