Research

A games semantics for reductive logic and proof-search


Reference:

Pym, D. J. and Ritter, E., 2005. A games semantics for reductive logic and proof-search. In: ETAPS 05, 2005-04-01, Edinburgh.

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.and Ritter, E.
DepartmentsFaculty of Science > Computer Science
RefereedNo
StatusPublished
ID Code5380

Export

Actions (login required)

View Item