# 2012 seminar talk: Refutation complexity of relativized spectra

Talk held by Moritz Müller (KGRC) at the KGRC seminar on 2012-03-22.

Talk held by Moritz Müller (KGRC) at the KGRC seminar on 2012-03-22.

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. +43-1-4277-50501.
Last updated: 2010-12-16, 04:37.