| Original language | English |
|---|---|
| Title of host publication | Tableaux 2011 |
| Subtitle of host publication | Workshops, tutorials and short papers |
| Editors | M. Giese, R. Kuznets |
| Place of Publication | Bern |
| Publisher | Universiteit Bern |
| Pages | 82-86 |
| Number of pages | 4 |
| Publication status | Published - 2011 |
Dialogues games for classical logic (short paper)
J. Alama, A. Knoks, S.L. Uckelman
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
222
Downloads
(Pure)