#### Filter Results:

- Full text PDF available (4)

#### Publication Year

2009

2012

- This year (0)
- Last 5 years (1)
- Last 10 years (5)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher
- 2010 25th Annual IEEE Symposium on Logic in…
- 2010

We define tree automata with global constraints (TAGC), generalizing the class of tree automata with global equality and disequality constraints (TAGED). TAGC can test for equality and disequality between subterms whose positions are defined by the states reached during a computation. In particular, TAGC can check that all the subterms reaching a given… (More)

- Florent Jacquemard, Francis Klay, Camille Vacher
- LATA
- 2009

We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a restriction on the computation of RTA on trees: two subtrees reaching the same rigid state in a run must be equal. RTA are able to perform local and global tests of equality between… (More)

- Florent Jacquemard, Francis Klay, Camille Vacher
- Inf. Comput.
- 2011

We introduce the class of rigid tree automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a restriction on the computation of RTA on trees: RTA can test for equality in subtrees reaching the same rigid state. RTA are able to perform local and global tests of equality between… (More)

- Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher
- Logical Methods in Computer Science
- 2012

We 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. (2007). TABG can test for equality and disequality modulo a given flat equational theory between brother subterms and between subterms… (More)

- Camille Vacher
- 2010

- ‹
- 1
- ›