Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi. An Efficient Algorithm for the Construction of the Equation Tree Automaton. Int. J. Found. Comput. Sci., 29(6):951-978, 2018. [doi]
@article{MignotSZ18,
title = {An Efficient Algorithm for the Construction of the Equation Tree Automaton},
author = {Ludovic Mignot and Nadia Ouali Sebti and Djelloul Ziadi},
year = {2018},
doi = {10.1142/S0129054118500156},
url = {https://doi.org/10.1142/S0129054118500156},
researchr = {https://researchr.org/publication/MignotSZ18},
cites = {0},
citedby = {0},
journal = {Int. J. Found. Comput. Sci.},
volume = {29},
number = {6},
pages = {951-978},
}