Resultados de 11 a 20 de 3.577 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.549)
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 |
|---|---|---|---|
| 11 |
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 |
| 12 |
Material Type: Artigo
|
|
Sigma Partitioning: Complexity and Random GraphsAli Dehghan ; Mohammad-Reza Sadeghi ; Arash AhadiDiscrete mathematics and theoretical computer science, 2018-12, Vol.20 no. 2 (Graph Theory) [Periódico revisado por pares]Discrete Mathematics & Theoretical Computer ScienceTexto completo disponível |
| 13 |
Material Type: Artigo
|
|
Planar 3-SAT with a Clause/Variable CycleAlexander PilzDiscrete mathematics and theoretical computer science, 2019-06, Vol.21 no. 3 (Discrete Algorithms) [Periódico revisado por pares]Discrete Mathematics & Theoretical Computer ScienceTexto completo disponível |
| 14 |
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 |
| 15 |
Material Type: Artigo
|
|
The Dichotomy of Evaluating Homomorphism-Closed Queries on Probabilistic GraphsAmarilli, Antoine ; Ceylan, İsmail İlkanLogical methods in computer science, 2022-01, Vol.18, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 16 |
Material Type: Artigo
|
|
Subspace-Invariant AC$^0$ FormulasBenjamin RossmanLogical methods in computer science, 2019-07, Vol.15, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 17 |
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 |
| 18 |
Material Type: Artigo
|
|
Token Swapping on TreesBiniaz, Ahmad ; Jain, Kshitij ; Lubiw, Anna ; Masárová, Zuzana ; Miltzow, Tillmann ; Mondal, Debajyoti ; Naredla, Anurag Murty ; Tkadlec, Josef ; Turcotte, AlexiDiscrete mathematics and theoretical computer science, 2023, Vol.24, no 2 (Discrete Algorithms) [Periódico revisado por pares]Discrete Mathematics & Theoretical Computer ScienceTexto completo disponível |
| 19 |
Material Type: Artigo
|
|
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood DiversityDušan Knop ; Martin Koutecký ; Tomáš Masařík ; Tomáš ToufarLogical methods in computer science, 2019-12, Vol.15, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 20 |
Material Type: Artigo
|
|
Theory of Higher Order Interpretations and Application to Basic Feasible FunctionsHainry, Emmanuel ; Péchoux, RomainLogical methods in computer science, 2020-01, Vol.16 (4) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
Resultados de 11 a 20 de 3.577 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.549)
Assunto
- Science & Technology (3.446)
- Computer Science (2.942)
- Technology (2.909)
- Complexity (2.490)
- Engineering (2.439)
- Computer Science, Artificial Intelligence (1.523)
- Algorithms (1.395)
- Computational Intelligence (1.352)
- Data Structures And Information Theory (1.333)
- Original Article (1.271)
- Engineering, Electrical & Electronic (1.028)
- Computational Complexity (967)
- Computer Science, Information Systems (894)
- Telecommunications (761)
- Analysis (612)
- Optimization (559)
- Machine Learning (530)
- Neural Networks (482)
- Physical Sciences (438)
- Methods (384)
-
Mais opções
Data de Publicação
- Antes de2005 (5)
- 2005Até2008 (32)
- 2009Até2012 (100)
- 2013Até2017 (535)
- Após 2017 (2.906)
-
Mais opções
Base de Dados/Biblioteca
- Free E-Journal (出版社公開部分のみ） (3.555)
- ROAD (3.170)
- Science Citation Index Expanded (Web of Science) (2.525)
- Academic OneFile (2.493)
- Springer_OA刊 (1.696)
- SpringerLink (Online service) (1.690)
- IEEE Electronic Library (IEL) Journals (1.014)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (965)
- Materials Research Database (753)
- Engineered Materials Abstracts (749)
- IEEE Open Access Journals (748)
- METADEX (747)
- IngentaConnect Journals (548)
- Open Access: PubMed Central (448)
- Academic Search Premier (344)
- EBSCO_MEDLINE Complete（医学期刊全文数据库） (332)
- Wiley-Blackwell Journals (294)
- Open Access: Wiley-Blackwell Open Access Journals (285)
- Public Library of Science (206)
-
Mais opções
Nome da Publicação
- Complex & Intelligent Systems (1.333)
- Ieee Access (724)
- Logical Methods In Computer Science (121)
- Plos One (114)
- Epj Data Science (93)
- Plos Computational Biology (90)
- Iet Image Processing (75)
- Discrete Mathematics And Theoretical Computer Science (55)
- Applied Network Science (51)
- Bmc Bioinformatics (48)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 