par Dartois, Luc Cliquez pour télécharger la liste de publications de l'auteur; Filiot, Emmanuel Liste de publications; Reynier, Pierre-Alain Liste de publications; Talbot, Jean-Marc
Référence Proceedings - Symposium on Logic in Computer Science, 05-08-July-2016, (page 217-226)
Publication Publié, 2016-07
Article révisé par les pairs
Titre :
  • Two-Way Visibly Pushdown Automata and Transducers
Auteur : Dartois, Luc ; Filiot, Emmanuel ; Reynier, Pierre-Alain ; Talbot, Jean-Marc
Informations sur la publication : Proceedings - Symposium on Logic in Computer Science, 05-08-July-2016, (page 217-226)
Statut de publication : Publié, 2016-07
Sujet CREF : Logique mathématique
Mots-clés : Logic
Pushdown automata
Transductions
Note : SCOPUS: cp.p
Langue :
  • Anglais
Identificateurs : urn:issn:1043-6871 
info:doi/10.1145/2933575.2935315