Zhang, Guo Qiang
-
DAIMI Report Series No. 277 (1989): PB-277 Literal resolution: A Simple Proof of Resolution Completeness - Articles
PB-277 Literal resolution: A Simple Proof of Resolution Completeness
Abstract PDF -
DAIMI Report Series No. 282 (1989): PB-282 DI-Domains as Information Systems* - Articles
DI-Domains as Information Systems*
Abstract PDF -
DAIMI Report Series No. 298 (1989): PB-298 Logics of Domains - Articles
Logics of Domains
Abstract PDF -
DAIMI Report Series No. 285 (1989): PB-285 Parallel Product of Event Structures - Articles
Parallel Product of Event Structures
Abstract PDF