Found 2 Documents (Results 1–2)
Determinacy in discrete-bidding infinite-duration games. (English) Zbl 07649928
Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 20, 17 p. (2019).
MSC:
68Q85
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Aghajohari, Milad (2)
- Avni, Guy (2)
- Henzinger, Thomas A. (2)