Dynamic Tableaux for Public Announcement Logic, paper presented at the LICS 2013 conference, Tulane University, New Orleans, 2013

Jonas De Vuyst

Onderzoeksoutput: Meeting abstract (Book)

Samenvatting

This Paper is about Dynamic Tableaux for Public Announcement Logic
Originele taal-2English
TitelUnknown
StatusPublished - 2013
EvenementUnknown -
Duur: 1 jan 2013 → …

Conference

ConferenceUnknown
Periode1/01/13 → …

Citeer dit