Página principal > Resultados de la búsqueda: Buss, Samuel R.
  Consejos para la búsqueda
Búsqueda avanzada
Buscar colecciones:
Ordenar por: Mostrar resultados: Formato de visualización:
Resultados globales: 2 registros encontrados en 0.02 segundos.
Documentos de investigación, Encontrados 2 registros
Documentos de investigación Encontrados 2 registros  
1.
26 p, 265.7 KB Strong isomorphism reductions in complexity theory / Buss, Samuel R. ; Chen, Yijia ; Flum, Jörg ; Friedman, Sy D. ; Müller, Moritz ; Centre de Recerca Matemàtica
We give the first systematic study of strong isomorphism reductions, a notion of reduction more appropriate than polynomial time reduction when, for example, comparing the computational complexity of the isomorphim problem for different classes of structures. [...]
Centre de Recerca Matemàtica 2011 (Prepublicacions del Centre de Recerca Matemàtica ; 1009)  
Registro completo - Creative Commons
2.
14 p, 164.9 KB Sharpened lower bounds for cut elimination / Buss, Samuel R. ; Centre de Recerca Matemàtica
We present sharpened lower bounds on the size of cut free proofs for first-order logic. Prior lower bounds for eliminating cuts from a proof established superexponential lower bounds as a stack of exponentials, with the height of the stack proportional to the maximum depth d of the formulas in the original proof. [...]
Centre de Recerca Matemàtica 2010 (Prepublicacions del Centre de Recerca Matemàtica ; 996)  
Registro completo - Creative Commons

¿Le interesa recibir alertas sobre nuevos resultados de esta búsqueda?
Defina una alerta personal vía correo electrónico o subscríbase al canal RSS.
Depósito Digital de Documentos de la UAB :: Buscar :: Enviar :: Personalizar :: Ayuda
Powered by Invenio v1.1.6
Mantenido por ddd.bib@uab.cat  :: Metadatos sujetos a:
Colaboramos