An Efficient Algorithm for the Equation Tree Automaton via the \textdollark\textdollar-C-Continuations - Normandie Université Accéder directement au contenu
Article Dans Une Revue CoRR Année : 2014

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

Ludovic Mignot
  • Fonction : Auteur
Université de Rouen Normandie
Nadia Ouali Sebti
  • Fonction : Auteur
Djelloul Ziadi
  • Fonction : Auteur

Domaines

Informatique [cs]

Ludovic Mignot  : Connectez-vous pour contacter le contributeur

https://normandie-univ.hal.science/hal-02335286

Soumis le : lundi 28 octobre 2019-11:10:20

Dernière modification le : mardi 19 octobre 2021-16:17:18

Fichier non déposé

Dates et versions

hal-02335286 , version 1 (28-10-2019)

Identifiants

  • HAL Id : hal-02335286 , version 1

Citer

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

COMUE-NORMANDIE UNIROUEN
11 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More