An Efficient Algorithm for the Equation Tree Automaton via the \textdollark\textdollar-C-Continuations

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

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

Identifiants

  • HAL Id : hal-02335286, version 1

Collections

Citation

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⟩

Partager

Métriques

Consultations de la notice

7