Research

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)
CreatorsPym, D. J., Winikoff, M. and Harland, J.
DepartmentsFaculty of Science > Computer Science
RefereedNo
StatusPublished
ID Code5608

Export

Actions (login required)

View Item