Research

Semantic Foundations of Proof-search


Reference:

Pym, D. J., 2003. Semantic Foundations of Proof-search. Journal of Logic and Computation, 13 (5), pp. 634-638.

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 Articles
CreatorsPym, D. J.
DepartmentsFaculty of Science > Computer Science
RefereedYes
StatusPublished
ID Code5518
Additional InformationID number: ISI:000186445700001

Export

Actions (login required)

View Item