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

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal-normandie-univ.archives-ouvertes.fr/hal-02335280
Contributeur : Ludovic Mignot <>
Soumis le : lundi 28 octobre 2019 - 11:10:10
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 Equation Tree Automaton via the k-C-Continuations. Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, 2014, Empty, United Kingdom. pp.303--313, ⟨10.1007/978-3-319-08019-2\_31⟩. ⟨hal-02335280⟩

Partager

Métriques

Consultations de la notice

7