Two-Way Visibly Pushdown Automata and Transducers - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Two-Way Visibly Pushdown Automata and Transducers

Résumé

no abstract

Dates et versions

hal-01475442 , version 1 (23-02-2017)

Identifiants

Citer

Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot. Two-Way Visibly Pushdown Automata and Transducers. Proc. 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), 2016, Unknown, Unknown Region. pp.217--226, ⟨10.1145/2933575.2935315⟩. ⟨hal-01475442⟩
133 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More