An Efficient Algorithm for the Equation Tree Automaton via the k-C-Continuations.

Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi

Browse the full CiE paper archive.