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

Ludovic Mignot
  • Function : Author
Université de Rouen Normandie
Nadia Ouali Sebti
  • Function : Author
Djelloul Ziadi
  • Function : Author

Domains

Computer Science [cs]

Ludovic Mignot  : Connect in order to contact the contributor

https://hal-normandie-univ.archives-ouvertes.fr/hal-02335286

Submitted on : Monday, October 28, 2019-11:10:20 AM

Last modification on : Tuesday, October 19, 2021-4:17:18 PM

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

COMUE-NORMANDIE UNIROUEN
10 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More