- QMRO Home
- School of Electronic Engineering and Computer Science
- Department of Computer Science Technical Reports: up to 1999
- Proof-terms for classical and intuitionistic resolution (extended abstract)
Browse
Administrators only