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