Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
Samuel R. Buss
Publicacions
Sharpened lower bounds for cut elimination, 2010
BUSS, S.R. *Sharpened lower bounds for cut elimination*. Publicacions del CRM, núm. 996 (2010)
Strong isomorphism reductions in complexity theory, 2011
BUSS, S.; CHEN, Y.; FLUM J.; FRIEDMAN, S.-D. & MÜLLER, M. *Strong isomorphism reductions in complexity theory*. Publicacions del CRM, núm. 1009 (2011)
Participacions a Congressos
Infinity Conference
CRM, Bellaterra (18/7/2011- 22/7/2011)
Organitzat pel programa de recerca Infinity Project (2009-2011)