Forward and Backward Chaining in Linear Logic
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.
|Item Type||Conference or Workshop Items (Paper)|
|Creators||Pym, D. J., Winikoff, M. and Harland, J.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)