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.)
Page(s)/Article-Nr.: 193-209