par Filiot, Emmanuel Cliquez pour télécharger la liste de publications de l'auteur; Gauwin, Olivier; Lhote, Nathan Liste de publications
Référence Proceedings - Symposium on Logic in Computer Science, 05-08-July-2016, (page 387-396)
Publication Publié, 2016-07
Article révisé par les pairs
Titre :
  • First-order definability of rational transductions: An algebraic approach
Auteur : Filiot, Emmanuel ; Gauwin, Olivier ; Lhote, Nathan
Informations sur la publication : Proceedings - Symposium on Logic in Computer Science, 05-08-July-2016, (page 387-396)
Statut de publication : Publié, 2016-07
Sujet CREF : Logique mathématique
Mots-clés : algebraic characterizations
definability problems
first-order logic
rational word transductions
Note : SCOPUS: cp.p
Langue :
  • Anglais
Identificateurs : urn:issn:1043-6871 
info:doi/10.1145/2933575.2934520