Exploració per autor "Vacher, Camile"
Ara es mostren els items 1-1 de 1
-
Decidable classes of tree automata mixing local and global constraints modulo flat theories
Barguño, Luis; Creus López, Carles; Godoy Balil, Guillem; Jacquemard, Florent; Vacher, Camile (2013-02)
Article
Accés obertWe define a class of ranked tree automata TABG generalizing both the tree automata with local tests between brothers of Bogaert and Tison (1992) and with global equality and disequality constraints (TAGED) of Filiot et al. ...