Syntactic Cut-elimination for Common Knowledge
Kai Brünnler, Thomas StuderVolume:
231
Année:
2009
Langue:
english
Pages:
14
DOI:
10.1016/j.entcs.2009.02.038
Fichier:
PDF, 296 KB
english, 2009