All 2021 2020 2019 2018 2017 2016 2015
All Journal Article Presentation
Beyond the Horizon of Computability, CiE 2020 Proceedings (LNCS)
Volume: 12098 Pages: 26-37
10.1007/978-3-030-51466-2_3
Electronic Notes in Theoretical Computer Science
Volume: 345 Pages: 3-35
10.1016/j.entcs.2019.07.014
Computability
Volume: Pre-press Pages: 1-23
10.3233/com-190253
Logical Methods in Computer Science
Volume: 15 Pages: 1-13
Volume: 14 Pages: 1-18
10.23638/LMCS-14(1:13)2018
Proceedings of the 26th Annual Conference on Computer Science Logic (CCL 2017)
Volume: 82 Pages: 1-17
10.4230/LIPIcs.CSL.2017.16
Volume: 5 Pages: 75-102
10.3233/com-150044
Logic in Computer Science (LICS), 30th ACM/IEEE Symposium
Volume: 1 Pages: 438-449
10.1109/lics.2015.48