Página principal > Resultados de la búsqueda: Complexitat de càlcul
  Consejos para la búsqueda
Búsqueda avanzada
Buscar colecciones:
Ordenar por: Mostrar resultados: Formato de visualización:
Resultados globales: 4 registros encontrados en 0.02 segundos.
Documentos de investigación, Encontrados 4 registros
Documentos de investigación Encontrados 4 registros  
1.
19 p, 224.4 KB Equivalence relations in set theory, computation theory, model theory and complexity theory / Friedman, Sy D. ; Centre de Recerca Matemàtica
Centre de Recerca Matemàtica 2011 (Prepublicacions del Centre de Recerca Matemàtica ; 1039)  
Registro completo - Creative Commons
2.
11 p, 182.8 KB Consistency and optimality / Chen, Yijia ; Flum, Jörg ; Müller, Moritz ; Centre de Recerca Matemàtica
Assume that the problem Qo is not solvable in polynomial time. For theories T containing a sufficiently rich part of true arithmetic we characterize T U {ConT} as the minimal extension of T proving for some algorithm that it decides Qo as fast as any algorithm B with the property that T proves that B decides Qo. [...]
Centre de Recerca Matemàtica 2011 (Prepublicacions del Centre de Recerca Matemàtica ; 1014)  
Registro completo - Creative Commons
3.
16 p, 213.2 KB On slicewise monotone parameterized problems and optimal proof systems for TAUT / Chen, Yijia ; Flum, Jörg ; Centre de Recerca Matemàtica
"Vegeu el resum a l'inici del document del fitxer adjunt".
Centre de Recerca Matemàtica 2010 (Prepublicacions del Centre de Recerca Matemàtica ; 998)  
Registro completo - Creative Commons
4.
13 p, 212.6 KB On p-optimal proof systems and logics for PTIME / Chen, Yijia ; Flum, Jörg ; Centre de Recerca Matemàtica
"Vegeu el resum a l'inici del document del fitxer adjunt".
Centre de Recerca Matemàtica 2010 (Prepublicacions del Centre de Recerca Matemàtica ; 997)  
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