Skip to Main content Skip to Navigation
Journal articles

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

Document type :
Journal articles
Complete list of metadatas

https://hal-normandie-univ.archives-ouvertes.fr/hal-02335286
Contributor : Ludovic Mignot <>
Submitted on : Monday, October 28, 2019 - 11:10:20 AM
Last modification on : Tuesday, October 29, 2019 - 1:35:57 AM

Identifiers

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

Share

Metrics

Record views

12