Resultados de 1 a 10 de 65 para Busca Geral
Mostrar Somente
- Recursos Online (60)
- Revistas revisadas por pares (46)
Refinado por:
idioma:
Inglês
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Reversibility and Durability as Potential Indicators for Circular Building TechnologiesAntonini, Ernesto ; Boeri, Andrea ; Lauria, Massimo ; Giglio, FrancescaSustainability (Basel, Switzerland), 2020-09, Vol.12 (18), p.7659 [Periódico revisado por pares]Texto completo disponível |
| 2 |
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 |
| 3 |
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 |
| 4 |
Material Type: Artigo
|
|
Verification and generation of unrefinable partitionsAragona, Riccardo ; Campioni, Lorenzo ; Civino, Roberto ; Lauria, MassimoarXiv.org, 2021-12Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
On the maximal part in unrefinable partitions of triangular numbersAragona, Riccardo ; Campioni, Lorenzo ; Civino, Roberto ; Lauria, MassimoarXiv.org, 2022-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Clique Is Hard on Average for Regular ResolutionAtserias, Albert ; Bonacina, Ilario ; de Rezende, Susanna F ; Lauria, Massimo ; Nordström, Jakob ; Razborov, AlexanderarXiv.org, 2020-12Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Clique Is Hard on Average for Regular ResolutionAtserias, Albert ; Bonacina, Ilario ; De Rezende, Susanna F. ; Lauria, Massimo ; Nordström, Jakob ; Razborov, AlexanderJournal of the ACM, 2021-08, Vol.68 (4), p.1-26 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
| 8 |
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 |
| 9 |
Material Type: Artigo
|
|
Circular (Yet Sound) ProofsAtserias, Albert ; Lauria, MassimoarXiv.org, 2018-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 10 |
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 |
Resultados de 1 a 10 de 65 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (60)
- Revistas revisadas por pares (46)
Refinar Meus Resultados
Assunto
- Science & Technology (25)
- Technology (22)
- Computer Science (21)
- Proof Complexity (17)
- Lower Bounds (15)
- Resolution (15)
- Computer Science, Theory & Methods (14)
- Mathematics (10)
- Computer Science - Computational Complexity (8)
- Algorithms (8)
- Computer Science, Information Systems (7)
- Polynomials (7)
- Polynomial Calculus (7)
- Science & Technology - Other Topics (7)
- Upper Bounds (6)
- Graph Theory (6)
- Physical Sciences (6)
- Logic (6)
- Architecture (5)
- Arts & Humanities (5)
-
Mais opções
Data de Publicação
- Antes de2010 (3)
- 2010Até2012 (10)
- 2013Até2015 (14)
- 2016Até2019 (18)
- Após 2019 (21)
-
Mais opções
Base de Dados/Biblioteca
- EZB Electronic Journals Library (23)
- Science Citation Index Expanded (Web of Science) (21)
- DOAJ Directory of Open Access Journals (21)
- ROAD: Directory of Open Access Scholarly Resources (18)
- Gale Academic OneFile Select (17)
- Casalini Torrossa Journals (12)
- arXiv.org (11)
- ScienceDirect Additional Titles (10)
- EBSCOhost Computers and Applied Sciences Complete (9)
- Open Access: Freely Accessible Journals by multiple vendors (9)
- ACM Digital Library (9)
- IngentaConnect Journals (6)
- Springer Nature - Springer Journals All 2022 (5)
- Springer journals (5)
- Business Source Complete (BSC) 商管财经类全文数据库(完整版) (3)
- Academic Search Premier (EB_SDU_P3) (2)
- SpringerOpen (2)
- Recercat (1)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (1)
- SIAM Journals Archive (1)
-
Mais opções
Idioma
- Italiano (7)
- Japonês (1)
-
Mais opções
Nome da Publicação
- Techne (12)
- arXiv.org (8)
- Arxiv (7)
- Information Processing Letters (6)
- Acm Transactions On Computational Logic (6)
- Agathón (5)
- Techne. Journal Of Technology For Architecture And Environment (4)
- Electronic Colloquium On Computational Complexity (3)
- Computational Complexity (2)
- Acm Transactions On Computation Theory (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 