Article Dans Une Revue
Journal of Logic and Computation
Année : 2014
Tiago DE LIMA : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03962680
Soumis le : lundi 30 janvier 2023-12:34:45
Dernière modification le : lundi 30 octobre 2023-16:41:23
Citer
Tiago De Lima. Alternating-time temporal dynamic epistemic logic. Journal of Logic and Computation, 2014, 24 (6), pp.1145-1178. ⟨10.1093/logcom/exs061⟩. ⟨hal-03962680⟩
Collections
18
Consultations
0
Téléchargements