Beyond $\omega$-Regular Languages

Abstract : The paper presents some automata and logics on $\omega$-words, which capture all $\omega$-regular languages, and yet still have good closure and decidability properties.
Type de document :
Communication dans un congrès
Jean-Yves Marion and Thomas Schwentick. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France. pp.11-16, 2010, Proceedings of the 27th Annual Symposium on the Theoretical Aspects of Computer Science
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00456113
Contributeur : Publications Loria <>
Soumis le : vendredi 19 février 2010 - 15:05:05
Dernière modification le : vendredi 19 février 2010 - 15:26:03
Document(s) archivé(s) le : vendredi 18 juin 2010 - 18:27:06

Fichier

bojanczyk.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00456113, version 1

Collections

Citation

Mikolaj Bojanczyk. Beyond $\omega$-Regular Languages. Jean-Yves Marion and Thomas Schwentick. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France. pp.11-16, 2010, Proceedings of the 27th Annual Symposium on the Theoretical Aspects of Computer Science. 〈inria-00456113〉

Partager

Métriques

Consultations de la notice

147

Téléchargements de fichiers

171