par Chatterjee, Krishnendu;Doyen, Laurent ;Henzinger, Thomas A.
Référence Proceedings - Symposium on Logic in Computer Science, page (199-208), 5230579
Publication Publié, 2009
Article révisé par les pairs
Titre:
  • Expressiveness and closure properties for quantitative languages
Auteur:Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
Informations sur la publication:Proceedings - Symposium on Logic in Computer Science, page (199-208), 5230579
Statut de publication:Publié, 2009
Sujet CREF:Logique mathématique
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1043-6871
info:scp/70350576896