20002018
If you made any changes in Pure these will be visible here soon.

Research Output 2000 2018

Filter
Doctoral Thesis
2013

Graphical Foundations for Dialogue Games

Wingfield, C. Oct 2013 (Unpublished) 197 p.

Research output: ThesisDoctoral Thesis

File
Schedule
Game
Heap
Game Semantics
Interleaving