par Filiot, Emmanuel ;Mazzocchi, Nicolas ;Raskin, Jean-François
Référence Journal of computer and system sciences, 106, page (1-22)
Publication Publié, 2019-12-01
Article révisé par les pairs
Titre:
  • Decidable weighted expressions with Presburger combinators
Auteur:Filiot, Emmanuel; Mazzocchi, Nicolas; Raskin, Jean-François
Informations sur la publication:Journal of computer and system sciences, 106, page (1-22)
Statut de publication:Publié, 2019-12-01
Sujet CREF:Sciences exactes et naturelles
Langue:Anglais
Identificateurs:urn:issn:0022-0000
info:doi/10.1016/j.jcss.2019.05.005
info:pii/S002200001930042X