Is Polynomial Time Choiceless?
Grädel, Erich (Corresponding author); Grohe, Martin (Corresponding author)
Cham [u.a.] : Springer International Publishing (2015)
Contribution to a book, Contribution to a conference proceedings
In: Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday ; ["Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015] / Lev D. Beklemishev (eds.)