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
Result Number Material Type Add to My Shelf Action Record Details and Options
11
On the maximal part in unrefinable partitions of triangular numbers
On the maximal part in unrefinable partitions of triangular numbers
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the maximal part in unrefinable partitions of triangular numbers

Aragona, Riccardo ; Campioni, Lorenzo ; Civino, Roberto ; Lauria, Massimo

Aequationes mathematicae, 2022-12, Vol.96 (6), p.1339-1363 [Periódico revisado por pares]

Cham: Springer International Publishing

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

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
13
A note about k-DNF resolution
A note about k-DNF resolution
Material Type:
Artigo 		Adicionar ao Meu Espaço

A note about k-DNF resolution

Lauria, Massimo

Information processing letters, 2018-09, Vol.137, p.33-39 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
14
Upper bounds on positional Paris–Harrington games
Upper bounds on positional Paris–Harrington games
Material Type:
Artigo 		Adicionar ao Meu Espaço

Upper bounds on positional Paris–Harrington games

Carlucci, Lorenzo ; Lauria, Massimo

Discrete mathematics, 2021-03, Vol.344 (3), p.112257, Article 112257 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
15
Circular (Yet Sound) Proofs in Propositional Logic
Circular (Yet Sound) Proofs in Propositional Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Circular (Yet Sound) Proofs in Propositional Logic

Atserias, Albert ; Lauria, Massimo

ACM transactions on computational logic, 2023-04, Vol.24 (3), p.1-26, Article 20 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
16
Cliques enumeration and tree-like resolution proofs
Cliques enumeration and tree-like resolution proofs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Cliques enumeration and tree-like resolution proofs

Lauria, Massimo

Information processing letters, 2018-07, Vol.135, p.62-67 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
17
Architectural design and production beyond the rule of art
Architectural design and production beyond the rule of art
Material Type:
Artigo 		Adicionar ao Meu Espaço

Architectural design and production beyond the rule of art

Massimo Lauria ; Francesca Giglio

Techne (Florence, Italy : 2011), 2011-04, Vol.1 (1) [Periódico revisado por pares]

Firenze University Press

Texto completo disponível

Citações Citado por
18
Reversibility and Durability as Potential Indicators for Circular Building Technologies
Reversibility and Durability as Potential Indicators for Circular Building Technologies
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reversibility and Durability as Potential Indicators for Circular Building Technologies

Antonini, Ernesto ; Boeri, Andrea ; Lauria, Massimo ; Giglio, Francesca

Sustainability, 2020-09, Vol.12 (18), p.7659 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
19
Verification and generation of unrefinable partitions
Verification and generation of unrefinable partitions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification and generation of unrefinable partitions

Aragona, Riccardo ; Campioni, Lorenzo ; Civino, Roberto ; Lauria, Massimo

Information processing letters, 2023-03, Vol.181, p.106361, Article 106361 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
20
Paradigms
Paradigms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Paradigms

Massimo Lauria ; Maria Azzalin

Agathón (Online), 2021-06, Vol.9 (online) [Periódico revisado por pares]

Palermo 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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.295)
  2. Resenhas  (74)
  3. Conjunto de Dados  (23)
  4. Artigos de Jornal  (14)
  5. Anais de Congresso  (13)
  6. Book Chapters  (12)
  7. Livros  (11)
  8. Newsletter Articles  (10)
  9. Verbetes  (6)
  10. magazinearticle  (4)
  11. Reports  (2)
  12. Videos  (1)
  13. Dissertações  (1)
  14. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1961  (80)
  2. 1961Até1975  (79)
  3. 1976Até1990  (184)
  4. 1991Até2006  (265)
  5. Após 2006  (862)
  6. Mais opções open sub menu

Idioma 

  1. Italiano  (797)
  2. Inglês  (750)
  3. Espanhol  (52)
  4. Alemão  (30)
  5. Português  (25)
  6. Japonês  (20)
  7. Francês  (13)
  8. Catalão  (3)
  9. Romeno  (2)
  10. Latim  (2)
  11. Croatian  (1)
  12. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Massimo Lauria
  2. Ferrini, C
  3. Lauria, M
  4. Regia università di Pavia
  5. Archi, G

Neste Assunto:

  1. Science & Technology
  2. Life Sciences & Biomedicine
  3. Humans
  4. Italian Literature
  5. Female

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

Buscando em bases de dados remotas. Favor aguardar.