The Expressive Power of Epistemic \textdollar\(μ\)\textdollar-Calculus - Archive ouverte HAL
Article Dans Une Revue CoRR Année : 2014

The Expressive Power of Epistemic \textdollar\(μ\)\textdollar-Calculus

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-01699938 , version 1 (02-02-2018)

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⟩
297 Consultations
0 Téléchargements

Partager

More