Resultados de 1 a 10 de 2.909 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Revistas revisadas por pares (2.889)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Depth lower bounds in Stabbing Planes for combinatorial principlesDantchev, Stefan ; Galesi, Nicola ; Ghani, Abdul ; Martin, BarnabyLogical methods in computer science, 2024-01, Vol.20, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Towards Uniform Certification in QBFChew, Leroy ; Slivovsky, FriedrichLogical methods in computer science, 2024-01, Vol.20, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Quantifying over Boolean announcementsvan Ditmarsch, Hans ; French, TimLogical methods in computer science, 2022-01, Vol.18, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPsMayr, Richard ; Munday, EricLogical methods in computer science, 2023-03, Vol.19, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Understanding the Relative Strength of QBF CDCL Solvers and QBF ResolutionBeyersdorff, Olaf ; Böhm, BenjaminLogical methods in computer science, 2023-01, Vol.19, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Tameness and the power of programs over monoids in DAGrosshans, Nathan ; Mckenzie, Pierre ; Segoufin, LucLogical methods in computer science, 2022-08, Vol.18, Issue 3 (3) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Capturing the polynomial hierarchy by second-order revised Krom logicWang, Kexu ; Feng, Shiguang ; Zhao, XishunLogical methods in computer science, 2023-01, Vol.19, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Fine-Grained Complexity of Regular Path QueriesCasel, Katrin ; Schmid, Markus L.Logical methods in computer science, 2023-01, Vol.19, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Affine Extensions of Integer Vector Addition Systems with StatesBlondin, Michael ; Haase, Christoph ; Mazowiecki, Filip ; Raskin, MikhailLogical methods in computer science, 2021-01, Vol.17, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description LogicsCristina Feier ; Antti Kuusisto ; Carsten LutzLogical methods in computer science, 2019-01, Vol.15, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
Resultados de 1 a 10 de 2.909 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Revistas revisadas por pares (2.889)
Assunto
- Science & Technology (2.908)
- Computer Science (2.675)
- Engineering (2.415)
- Complexity (2.036)
- Computer Science, Artificial Intelligence (1.523)
- Computational Intelligence (1.349)
- Data Structures And Information Theory (1.332)
- Original Article (1.270)
- Algorithms (1.174)
- Engineering, Electrical & Electronic (1.028)
- Computer Science, Information Systems (893)
- Computational Complexity (856)
- Telecommunications (760)
- Optimization (519)
- Analysis (470)
- Machine Learning (444)
- Neural Networks (407)
- Computational Modeling (336)
- Computer Science, Theory & Methods (301)
-
Mais opções
Data de Publicação
- Antes de2007 (10)
- 2007Até2010 (28)
- 2011Até2014 (123)
- 2015Até2019 (722)
- Após 2019 (2.027)
-
Mais opções
Base de Dados/Biblioteca
- Free E-Journal (出版社公開部分のみ） (2.893)
- ROAD (2.569)
- Science Citation Index Expanded (Web of Science) (2.093)
- Gale Academic OneFile Select (1.940)
- SpringerLink (Online service) (1.474)
- Springer Nature OA Free Journals (1.469)
- IEEE Electronic Library (IEL) Journals (1.011)
- IEEE Open Access Journals (747)
- Materials Research Database (713)
- Engineered Materials Abstracts (711)
- METADEX (708)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (382)
- Wiley Online Library (277)
- Wiley Open Access Journals (273)
- IngentaConnect Journals (166)
- Computers & Applied Sciences Complete - EBSCO (68)
- PubMed Central (67)
- ANTE: Abstracts in New Technology & Engineering (59)
- Academic Search Premier (52)
-
Mais opções
Nome da Publicação
- Complex & Intelligent Systems (1.332)
- Ieee Access (723)
- Logical Methods In Computer Science (100)
- Iet Image Processing (75)
- Applied Network Science (41)
- Iet Information Security (38)
- Electronics (37)
- Electronics Letters (35)
- Iet Communications (30)
- Discrete Mathematics And Theoretical Computer Science (28)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 