| Original language | English |
|---|---|
| Publication status | Published - 2001 |
| Event | ENTCS 37 - Duration: 1 Jan 2001 → … |
Conference
| Conference | ENTCS 37 |
|---|---|
| Period | 1/01/01 → … |
Forward and Backward Chaining in Linear Logic
D J Pym, M Winikoff, J Harland
Research output: Contribution to conference › Paper