An Effective Extension of the Wagner Hierarchy to Blind Counter Automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

An Effective Extension of the Wagner Hierarchy to Blind Counter Automata

Olivier Finkel
  • Fonction : Auteur
  • PersonId : 834645

Résumé

The extension of the Wagner hierarchy to blind counter automata accepting infinite words with a Muller acceptance condition is effective. We determine precisely this hierarchy.
Fichier principal
Vignette du fichier
CSL01.pdf (182.56 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00114314 , version 1 (16-11-2006)
hal-00114314 , version 2 (15-03-2010)

Identifiants

Citer

Olivier Finkel. An Effective Extension of the Wagner Hierarchy to Blind Counter Automata. Computer Science Logic 15th International Workshop, CSL 2001, 10th Annual Conference of the European Association for Computer Science Logic, Paris, September 10-13, 2001., 2001, France. pp.369-383. ⟨hal-00114314v2⟩
61 Consultations
166 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More