par Filiot, Emmanuel Cliquez pour télécharger la liste de publications de l'auteur; Gentilini, Raffaella Liste de publications; Raskin, Jean-François Liste de publications
Référence Logical methods in computer science, 11, 3
Publication Publié, 2015
Article révisé par les pairs
Titre :
  • Quantitative Languages Defined by Functional Automata
Auteur : Filiot, Emmanuel ; Gentilini, Raffaella ; Raskin, Jean-François
Informations sur la publication : Logical methods in computer science, 11, 3
Statut de publication : Publié, 2015
Sujet CREF : Informatique générale
Mots-clés : Determinization
Functionality
Quantitative languages
Realizability
Weighted automata
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:1860-5974 
info:doi/10.2168/LMCS-11(3:14)2015
http://dx.doi.org/10.2168/LMCS-11(3:14)2015