×

Found 18 Documents (Results 1–18)

Parameterized games and parameterized automata. (English) Zbl 1528.68194

Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 30-42 (2018).
MSC:  68Q45 91A43
PDFBibTeX XMLCite
Full Text: arXiv Link

Game characterizations and lower cones in the Weihrauch degrees. (English) Zbl 1496.03175

Kari, Jarkko (ed.) et al., Unveiling dynamics and complexity. 13th conference on computability in Europe, CiE 2017, Turku, Finland, June 12–16, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10307, 327-337 (2017).
MSC:  03D78 03E15
PDFBibTeX XMLCite
Full Text: DOI Link

The Vitali covering theorem in the Weihrauch lattice. (English) Zbl 1485.03241

Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 188-200 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

The Brouwer fixed point theorem revisited. (English) Zbl 1476.03064

Beckmann, Arnold (ed.) et al., Pursuit of the universal. 12th conference on computability in Europe, CiE 2016, Paris, France, June 27 – July 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9709, 58-67 (2016).
MSC:  03D78 03F60 03D30
PDFBibTeX XMLCite
Full Text: DOI Link

Representations of analytic functions and Weihrauch degrees. (English) Zbl 1386.03054

Kulikov, Alexander S. (ed.) et al., Computer science – theory and applications. 11th international computer science symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9–13, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-34170-5/pbk; 978-3-319-34171-2/ebook). Lecture Notes in Computer Science 9691, 367-381 (2016).
MSC:  03D78
PDFBibTeX XMLCite
Full Text: DOI Link

Weihrauch degrees of finding equilibria in sequential games. (English) Zbl 1461.03034

Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 246-257 (2015).
MSC:  03D30 91A10 91A44
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Computability on the countable ordinals and the Hausdorff-Kuratowski theorem (extended abstract). (English) Zbl 1465.03080

Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 407-418 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software