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

Ludovic Mignot 1 Nadia Ouali Sebti Djelloul Ziadi
1 UNIROUEN - Université de Rouen Normandie
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

COMUE-NORMANDIE | UNIROUEN

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⟩

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

7

Contact
hal@normandie-univ.fr
logo de Normandie Université logo de l'Université de Caen Normandie logo de de l'Université Le Havre Normandie logo de l'Université de Rouen Normandie logo de l'ENSICAEN logo de l'INSA de Rouen Normandie logo de l'ENSA Normandie
logo de CESI logo de l'ESIGELEC logo de de l'UniLaSalle logo de l'ESADHaR logo de l'Esam logo de l'EM Normandie logo de NEOMA logo du CHU de Caen Normandie logo du Centre Baclesselogo de Labéo logo de Labéo