Idioma:

4 Resultados para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Refinado por: data de publicação: 2010Até2012

Result Number	Material Type	Record Details and Options
1	Material Type: Artigo	Optimality of size-degree tradeoffs for polynomial calculus Galesi, Nicola ; Lauria, Massimo ACM transactions on computational logic, 2010-10, Vol.12 (1), p.1-22 [Periódico revisado por pares] ACM Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Artigo	On the Automatizability of Polynomial Calculus Galesi, Nicola ; Lauria, Massimo Theory of computing systems, 2010-08, Vol.47 (2), p.491-506 [Periódico revisado por pares] New York: Springer-Verlag Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Artigo	A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer games Beyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo Information processing letters, 2010-11, Vol.110 (23), p.1074-1077 [Periódico revisado por pares] Amsterdam: Elsevier B.V Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Artigo	Parameterized Bounded-Depth Frege Is not Optimal Beyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo ; Razborov, Alexander A ACM transactions on computation theory, 2012-09, Vol.4 (3), p.1-16 [Periódico revisado por pares] ACM Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por