| 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 → … |
Cite this
- APA
- Standard
- Harvard
- Vancouver
- Author
- BIBTEX
- RIS
A games semantics for reductive logic and proof-search
D J Pym, E Ritter
Research output: Contribution to conference › Paper