Forward and Backward Chaining in Linear Logic
Reference:
Pym, D. J., Winikoff, M. and Harland, J., 2001. Forward and Backward Chaining in Linear Logic. In: ENTCS 37, 2001-01-01.
Related documents:
This repository does not currently have the full-text of this item.You may be able to access a copy if URLs are provided below.
Details
Item Type | Conference or Workshop Items (Paper) |
Creators | Pym, D. J., Winikoff, M. and Harland, J. |
Departments | Faculty of Science > Computer Science |
Refereed | No |
Status | Published |
ID Code | 5608 |
Export
Actions (login required)
View Item |