The Expressive Power of Epistemic \textdollar\(μ\)\textdollar-Calculus
Résumé
no abstract
Article Dans Une Revue
CoRR
Année : 2014
Catalin Dima : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01699938
Soumis le : vendredi 2 février 2018-22:51:41
Dernière modification le : vendredi 24 mars 2023-14:53:06
Dates et versions
Identifiants
- HAL Id : hal-01699938 , version 1
Citer
Catalin Dima, Bastien Maubert, Sophie Pinchinat. The Expressive Power of Epistemic \textdollar\(μ\)\textdollar-Calculus. CoRR, 2014, abs/1407.5166. ⟨hal-01699938⟩
Collections
290
Consultations
0
Téléchargements