An Efficient Algorithm for the Construction of the Equation Tree Automaton

Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal-normandie-univ.archives-ouvertes.fr/hal-02335263
Contributeur : Ludovic Mignot <>
Soumis le : lundi 28 octobre 2019 - 11:09:39
Dernière modification le : mardi 29 octobre 2019 - 01:35:57

Identifiants

Collections

Citation

Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi. An Efficient Algorithm for the Construction of the Equation Tree Automaton. Int. J. Found. Comput. Sci., 2018, 29 (6), pp.951--978. ⟨10.1142/S0129054118500156⟩. ⟨hal-02335263⟩

Partager

Métriques

Consultations de la notice

6