A Description Language for Dynamic Epistemic Actions, Proceedings of the 2002 annual conference of the Australasian Association of Logic (AAL 2002)

Barteld Kooi, Hans van Ditmarsch, Wiebe van der Hoek

Onderzoeksoutput: Meeting AbstractAcademic

36 Downloads (Pure)
Originele taal-2English
Pagina's (van-tot)260-261
Aantal pagina's2
TijdschriftThe Bulletin of Symbolic Logic
Volume9
Nummer van het tijdschrift2
StatusPublished - 2003
Evenement2002 Annual Conference of the Australasian Association for Logic - Canberra , Australia
Duur: 30-nov-20022-dec-2002

Citeer dit