Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

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
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

10