Resultados de 1 a 10 de 3.606 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 (3.578)
Refinado por:
Base de dados/Biblioteca:
DOAJ Directory of Open Access Journals
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Depth, Highness and DNR degreesPhilippe Moser ; Frank StephanDiscrete mathematics and theoretical computer science, 2017-10, Vol.19 no. 4, FCT '15 (special issue FCT'15) [Periódico revisado por pares]Discrete Mathematics & Theoretical Computer ScienceTexto completo disponível |
| 2 |
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 |
| 3 |
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 |
| 4 |
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 |
| 5 |
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 |
| 6 |
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 |
| 7 |
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 |
| 8 |
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 |
| 9 |
Material Type: Artigo
|
|
New Algorithms for Mixed Dominating SetDublois, Louis ; Lampis, Michael ; Paschos, Vangelis ThDiscrete mathematics and theoretical computer science, 2021-04, Vol.23 no. 1 (Discrete Algorithms) [Periódico revisado por pares]DMTCSTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Linear equations for unordered data vectors in $[D]^k\to{}Z^dHofman, Piotr ; Różycki, JakubLogical methods in computer science, 2022-12, Vol.18, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
Resultados de 1 a 10 de 3.606 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 (3.578)
Assunto
- Science & Technology (3.472)
- Computer Science (2.964)
- Technology (2.913)
- Complexity (2.516)
- Engineering (2.429)
- Computer Science, Artificial Intelligence (1.520)
- Algorithms (1.392)
- Computational Intelligence (1.348)
- Data Structures And Information Theory (1.335)
- Original Article (1.273)
- Engineering, Electrical & Electronic (1.020)
- Computational Complexity (964)
- Computer Science, Information Systems (892)
- Telecommunications (755)
- Analysis (621)
- Optimization (555)
- Machine Learning (534)
- Neural Networks (481)
- Physical Sciences (463)
- Methods (388)
-
Mais opções
Data de Publicação
- Antes de2005 (5)
- 2005Até2008 (32)
- 2009Até2012 (97)
- 2013Até2017 (559)
- Após 2017 (2.914)
-
Mais opções
Base de Dados/Biblioteca
- EZB Electronic Journals Library (3.584)
- ROAD: Directory of Open Access Scholarly Resources (3.207)
- Science Citation Index Expanded (Web of Science) (2.548)
- Gale Academic OneFile Select (2.540)
- SpringerLink (Online service) (1.724)
- SpringerOpen (1.714)
- IEEE Electronic Library (IEL) Journals (1.011)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (1.005)
- Materials Research Database (745)
- IEEE Open Access Journals (742)
- Engineered Materials Abstracts (741)
- METADEX (739)
- IngentaConnect Journals (574)
- Open Access: PubMed Central (444)
- Academic Search Premier (EB_SDU_P3) (346)
- MEDLINE Complete (332)
- Wiley Online Library Journals (295)
- Open Access: Wiley-Blackwell Open Access Journals (286)
- PLoS (204)
-
Mais opções
Nome da Publicação
- Complex & Intelligent Systems (1.335)
- Ieee Access (719)
- Logical Methods In Computer Science (120)
- Epj Data Science (117)
- Plos One (112)
- Plos Computational Biology (90)
- Iet Image Processing (75)
- Applied Network Science (64)
- Discrete Mathematics And Theoretical Computer Science (54)
- Bmc Bioinformatics (52)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 