https://hal-normandie-univ.archives-ouvertes.fr/hal-02335286
Contributor : Ludovic Mignot <>
Submitted on : Monday, October 28, 2019 - 11:10:20 AM Last modification on : Tuesday, October 29, 2019 - 1:35:57 AM
Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi. An Efficient Algorithm for the Equation Tree Automaton via the \textdollark\textdollar-C-Continuations. CoRR, 2014, abs/1401.5951. ⟨hal-02335286⟩