Common Knowledge In Email Exchanges

F. A. G. Sietsma 1 K. R. Apt 1
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Résumé : no abstract
Type de document :
Article dans une revue
ACM Transactions on Computational Logic, Association for Computing Machinery, 2013, 14 (3), pp.1 - 23
Liste complète des métadonnées

https://hal.inria.fr/hal-00923396
Contributeur : Tijs Van Der Storm <>
Soumis le : jeudi 2 janvier 2014 - 17:06:43
Dernière modification le : mardi 13 mars 2018 - 14:24:05

Identifiants

  • HAL Id : hal-00923396, version 1

Collections

Citation

F. A. G. Sietsma, K. R. Apt. Common Knowledge In Email Exchanges. ACM Transactions on Computational Logic, Association for Computing Machinery, 2013, 14 (3), pp.1 - 23. 〈hal-00923396〉

Partager

Métriques

Consultations de la notice

70