Unifying Hyper and Epistemic Temporal Logics
Résumé
no abstract
Communication Dans Un Congrès
Année : 2015
Hans van Ditmarsch : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01273553
Soumis le : vendredi 12 février 2016-15:54:39
Dernière modification le : lundi 11 septembre 2023-17:41:19
Citer
Laura Bozzelli, Bastien Maubert, Sophie Pinchinat. Unifying Hyper and Epistemic Temporal Logics. Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, 2015, Unknown, Unknown Region. pp.167--182, ⟨10.1007/978-3-662-46678-0_11⟩. ⟨hal-01273553⟩
Collections
386
Consultations
0
Téléchargements