TY  - RPRT
TI  - An Efficient Algorithm for the Equation Tree Automaton via the $k$-C-Continuations
AU  - Ludovic Mignot
AU  - Nadia Ouali Sebti
AU  - Djelloul Ziadi
PY  - 2014
UR  - https://arxiv.org/abs/1401.5951
ID  - 1401.5951
ER  -