Positional Strategies for Higher-Order Pushdown Parity Games - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Positional Strategies for Higher-Order Pushdown Parity Games

Arnaud Carayol
Laboratoire d'Informatique Gaspard-Monge
Michaela Slaats
  • Fonction : Auteur

Domaines

Algorithme et structure de données [cs.DS]

Arnaud Carayol  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00620254

Soumis le : mercredi 7 septembre 2011-15:41:26

Dernière modification le : jeudi 28 mars 2024-03:27:30

Fichier non déposé

Dates et versions

hal-00620254 , version 1 (07-09-2011)

Identifiants

  • HAL Id : hal-00620254 , version 1

Citer

Arnaud Carayol, Michaela Slaats. Positional Strategies for Higher-Order Pushdown Parity Games. 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS'08), 2008, United States. pp.217-228. ⟨hal-00620254⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENPC CNRS UNIV-MLV LIGM_ALGO PARISTECH LIGM LIGM_MOA UNIV-EIFFEL LIGM_BAAM JSE2024
73 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More