Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo
|
Resilience Markers for Fragile Areas. Innovative Approaches and Strategies for the Villages of Reggio Calabria, Metropolitan CityMassimo Lauria ; Giovanna La FaceArchistor, 2020-11, p.1410-1439 [Periódico revisado por pares]Università Mediterranea di Reggio CalabriaTexto completo disponível |
|
12 |
Material Type: Artigo
|
On the maximal part in unrefinable partitions of triangular numbersAragona, Riccardo ; Campioni, Lorenzo ; Civino, Roberto ; Lauria, MassimoAequationes mathematicae, 2022-12, Vol.96 (6), p.1339-1363 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
13 |
Material Type: Artigo
|
A characterization of tree-like Resolution sizeBeyersdorff, Olaf ; Galesi, Nicola ; Lauria, MassimoInformation processing letters, 2013-09, Vol.113 (18), p.666-671 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
14 |
Material Type: Artigo
|
A note about k-DNF resolutionLauria, MassimoInformation processing letters, 2018-09, Vol.137, p.33-39 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
15 |
Material Type: Artigo
|
Upper bounds on positional Paris–Harrington gamesCarlucci, Lorenzo ; Lauria, MassimoDiscrete mathematics, 2021-03, Vol.344 (3), p.112257, Article 112257 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
16 |
Material Type: Artigo
|
Circular (Yet Sound) Proofs in Propositional LogicAtserias, Albert ; Lauria, MassimoACM transactions on computational logic, 2023-04, Vol.24 (3), p.1-26, Article 20 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
17 |
Material Type: Artigo
|
Cliques enumeration and tree-like resolution proofsLauria, MassimoInformation processing letters, 2018-07, Vol.135, p.62-67 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
18 |
Material Type: Artigo
|
Architectural design and production beyond the rule of artMassimo Lauria ; Francesca GiglioTechne (Florence, Italy : 2011), 2011-04, Vol.1 (1) [Periódico revisado por pares]Firenze University PressTexto completo disponível |
|
19 |
Material Type: Artigo
|
Reversibility and Durability as Potential Indicators for Circular Building TechnologiesAntonini, Ernesto ; Boeri, Andrea ; Lauria, Massimo ; Giglio, FrancescaSustainability, 2020-09, Vol.12 (18), p.7659 [Periódico revisado por pares]Texto completo disponível |
|
20 |
Material Type: Artigo
|
Verification and generation of unrefinable partitionsAragona, Riccardo ; Campioni, Lorenzo ; Civino, Roberto ; Lauria, MassimoInformation processing letters, 2023-03, Vol.181, p.106361, Article 106361 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |