Flip-Pushdown Automata with k Pushdown Reversals and E0L Systems are Incomparable

Marek Kosta 1 Pavol Duris 2
1 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Article dans une revue
Information Processing Letters, Elsevier, 2014, 114 (8), pp.417-420
Liste complète des métadonnées

https://hal.inria.fr/hal-01088446
Contributeur : Stephan Merz <>
Soumis le : vendredi 28 novembre 2014 - 09:01:14
Dernière modification le : jeudi 22 septembre 2016 - 14:31:44

Identifiants

  • HAL Id : hal-01088446, version 1

Collections

Citation

Marek Kosta, Pavol Duris. Flip-Pushdown Automata with k Pushdown Reversals and E0L Systems are Incomparable. Information Processing Letters, Elsevier, 2014, 114 (8), pp.417-420. 〈hal-01088446〉

Partager

Métriques

Consultations de la notice

141