skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
A characterization of tree-like Resolution size
A characterization of tree-like Resolution size
Material Type:
Artigo 		Adicionar ao Meu Espaço

A characterization of tree-like Resolution size

Beyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo

Information processing letters, 2013-09, Vol.113 (18), p.666-671 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
12
A characterization of tree-like Resolution size
A characterization of tree-like Resolution size
Material Type:
Artigo 		Adicionar ao Meu Espaço

A characterization of tree-like Resolution size

Beyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo

Insurance, mathematics & economics, 2013-09, Vol.113 (18), p.666 [Periódico revisado por pares]

Amsterdam: Elsevier Sequoia S.A

Texto completo disponível

Citações Citado por
13
Space Complexity in Polynomial Calculus
Space Complexity in Polynomial Calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

Space Complexity in Polynomial Calculus

Filmus, Yuval ; Lauria, Massimo ; Nordström, Jakob ; Ron-Zewi, Noga ; Thapen, Neil

SIAM journal on computing, 2015-01, Vol.44 (4), p.1119-1153 [Periódico revisado por pares]

Sem texto completo

Citações Citado por
14
Strumenti operativi per la manutenzione e la riqualificazione del patrimonio scolastico/Operational tools for maintenance and renewal of school buildings patrimony
Strumenti operativi per la manutenzione e la riqualificazione del patrimonio scolastico/Operational tools for maintenance and renewal of school buildings patrimony
Material Type:
Artigo 		Adicionar ao Meu Espaço

Strumenti operativi per la manutenzione e la riqualificazione del patrimonio scolastico/Operational tools for maintenance and renewal of school buildings patrimony

Lauria, Massimo ; Milazzo, Luciana ; Modaffari, Cherubina

Techne (Florence, Italy : 2011), 2015-01, Vol.9, p.288 [Periódico revisado por pares]

Florence: Firenze University Press

Texto completo disponível

Citações Citado por
15
Operational tools for maintenance and renewal of school buildings patrimony
Operational tools for maintenance and renewal of school buildings patrimony
Material Type:
Artigo 		Adicionar ao Meu Espaço

Operational tools for maintenance and renewal of school buildings patrimony

Massimo Lauria ; Luciana Milazzo ; Cherubina Modaffari

Techne (Florence, Italy : 2011), 2015-04 (9) [Periódico revisado por pares]

Firenze University Press

Texto completo disponível

Citações Citado por
16
From Small Space to Small Width in Resolution
From Small Space to Small Width in Resolution
Material Type:
Artigo 		Adicionar ao Meu Espaço

From Small Space to Small Width in Resolution

Filmus, Yuval ; Lauria, Massimo ; Mikša, Mladen ; Nordström, Jakob ; Vinyals, Marc

ACM transactions on computational logic, 2015-11, Vol.16 (4), p.1-15 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
17
Il progetto dell'esistente 2.0/The Built Environment Plan 2.0
Il progetto dell'esistente 2.0/The Built Environment Plan 2.0
Material Type:
Artigo 		Adicionar ao Meu Espaço

Il progetto dell'esistente 2.0/The Built Environment Plan 2.0

Lauria, Massimo

Techne (Florence, Italy : 2011), 2016-07, Vol.12, p.82 [Periódico revisado por pares]

Florence: Firenze University Press

Texto completo disponível

Citações Citado por
18
Narrow Proofs May Be Maximally Long
Narrow Proofs May Be Maximally Long
Material Type:
Artigo 		Adicionar ao Meu Espaço

Narrow Proofs May Be Maximally Long

Atserias, Albert ; Lauria, Massimo ; Nordström, Jakob

ACM transactions on computational logic, 2016-07, Vol.17 (3), p.1-30 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
19
A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem
A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem

Lauria, Massimo

ACM transactions on computation theory, 2016-07, Vol.8 (4), p.1-13 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
20
The Built Environment Plan 2.0
The Built Environment Plan 2.0
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Built Environment Plan 2.0

Massimo Lauria

Techne (Florence, Italy : 2011), 2016-11 (12) [Periódico revisado por pares]

Firenze University Press

Texto completo disponível

Citações Citado por
previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (46)

Data de Publicação 

De até
Refinar
  1. Antes de2010  (3)
  2. 2010Até2012  (7)
  3. 2013Até2016  (12)
  4. 2017Até2020  (15)
  5. Após 2020  (11)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (46)
  2. Italiano  (8)
  3. Japonês  (1)
  4. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.