Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
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 |
|
12 |
Material Type: Artigo
|
A characterization of tree-like Resolution sizeBeyersdorff, Olaf ; Galesi, Nicola ; Lauria, MassimoInsurance, mathematics & economics, 2013-09, Vol.113 (18), p.666 [Periódico revisado por pares]Amsterdam: Elsevier Sequoia S.ATexto completo disponível |
|
13 |
Material Type: Artigo
|
Space Complexity in Polynomial CalculusFilmus, Yuval ; Lauria, Massimo ; Nordström, Jakob ; Ron-Zewi, Noga ; Thapen, NeilSIAM journal on computing, 2015-01, Vol.44 (4), p.1119-1153 [Periódico revisado por pares]Sem texto completo |
|
14 |
Material Type: Artigo
|
Strumenti operativi per la manutenzione e la riqualificazione del patrimonio scolastico/Operational tools for maintenance and renewal of school buildings patrimonyLauria, Massimo ; Milazzo, Luciana ; Modaffari, CherubinaTechne (Florence, Italy : 2011), 2015-01, Vol.9, p.288 [Periódico revisado por pares]Florence: Firenze University PressTexto completo disponível |
|
15 |
Material Type: Artigo
|
Operational tools for maintenance and renewal of school buildings patrimonyMassimo Lauria ; Luciana Milazzo ; Cherubina ModaffariTechne (Florence, Italy : 2011), 2015-04 (9) [Periódico revisado por pares]Firenze University PressTexto completo disponível |
|
16 |
Material Type: Artigo
|
From Small Space to Small Width in ResolutionFilmus, Yuval ; Lauria, Massimo ; Mikša, Mladen ; Nordström, Jakob ; Vinyals, MarcACM transactions on computational logic, 2015-11, Vol.16 (4), p.1-15 [Periódico revisado por pares]ACMTexto completo disponível |
|
17 |
Material Type: Artigo
|
Il progetto dell'esistente 2.0/The Built Environment Plan 2.0Lauria, MassimoTechne (Florence, Italy : 2011), 2016-07, Vol.12, p.82 [Periódico revisado por pares]Florence: Firenze University PressTexto completo disponível |
|
18 |
Material Type: Artigo
|
Narrow Proofs May Be Maximally LongAtserias, Albert ; Lauria, Massimo ; Nordström, JakobACM transactions on computational logic, 2016-07, Vol.17 (3), p.1-30 [Periódico revisado por pares]ACMTexto completo disponível |
|
19 |
Material Type: Artigo
|
A Rank Lower Bound for Cutting Planes Proofs of Ramsey's TheoremLauria, MassimoACM transactions on computation theory, 2016-07, Vol.8 (4), p.1-13 [Periódico revisado por pares]ACMTexto completo disponível |
|
20 |
Material Type: Artigo
|
The Built Environment Plan 2.0Massimo LauriaTechne (Florence, Italy : 2011), 2016-11 (12) [Periódico revisado por pares]Firenze University PressTexto completo disponível |