The complexity of one-agent refinement modal logic
Résumé
no abstract
Article Dans Une Revue
Theoretical Computer Science
Année : 2015
Hans van Ditmarsch : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01273557
Soumis le : vendredi 12 février 2016-15:54:52
Dernière modification le : lundi 11 septembre 2023-17:41:19
Citer
Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat. The complexity of one-agent refinement modal logic. Theoretical Computer Science, 2015, 603, pp.58--83. ⟨10.1016/j.tcs.2015.07.015⟩. ⟨hal-01273557⟩
Collections
206
Consultations
0
Téléchargements