| Original language | English |
|---|---|
| Publication status | Published - Apr 2005 |
| Event | ETAPS 05 - Edinburgh Duration: 1 Apr 2005 → … |
Conference
| Conference | ETAPS 05 |
|---|---|
| City | Edinburgh |
| Period | 1/04/05 → … |
A games semantics for reductive logic and proof-search
D J Pym, E Ritter
Research output: Contribution to conference › Paper