Skip to Main content Skip to Navigation
Conference papers

Positional Strategies for Higher-Order Pushdown Parity Games

Document type :
Conference papers
Complete list of metadatas

https://hal-upec-upem.archives-ouvertes.fr/hal-00620254
Contributor : Arnaud Carayol <>
Submitted on : Wednesday, September 7, 2011 - 3:41:26 PM
Last modification on : Wednesday, February 26, 2020 - 7:06:05 PM

Identifiers

  • HAL Id : hal-00620254, version 1

Citation

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⟩

Share

Metrics

Record views

147