An Efficient Algorithm for the Equation Tree Automaton via the \textdollark\textdollar-C-Continuations - Archive ouverte HAL Access content directly
Journal Articles CoRR Year : 2014

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

Nadia Ouali Sebti
  • Function : Author
Djelloul Ziadi
  • Function : Author
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-02335286 , version 1

Cite

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⟩
10 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More