Risutati 1 - 10 di 703 per Ricerca globale
Ordinati per:
Ordinati per:
rilevanzaOr hit Enter to replace sort method
- rilevanza
- data più recente
- autore
- titolo
Mostra solo
- Riviste Peer-reviewed (420)
Filtrati per:
Collezione:
arXiv.org
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Articolo
|
|
Randomisation and Derandomisation in Descriptive Complexity TheoryEickmeyer, Kord ; Grohe, Martin ; Dawar, AnujLogical methods in computer science, 2011-09-21, Vol.7 (3) [Rivista Peer Reviewed]Fulltext disponibile |
| 2 |
Material Type: Articolo
|
|
Model-checking problems as a basis for parameterized intractabilityFlum, Jörg ; Grohe, Martin ; Libkin, LeonidLogical methods in computer science, 2005-03-07, Vol.1 (1) [Rivista Peer Reviewed]Fulltext disponibile |
| 3 |
Material Type: Articolo
|
|
The Expressive Power of Higher-Order DatalogCHARALAMBIDIS, ANGELOS ; NOMIKOS, CHRISTOS ; RONDOGIANNIS, PANOSTheory and practice of logic programming, 2019-09, Vol.19 (5-6), p.925-940 [Rivista Peer Reviewed]Fulltext disponibile |
| 4 |
Material Type: Articolo
|
|
Generalized Descriptive Set Theory and Classification TheoryFriedman, Sy-David ; Hyttinen, Tapani ; Kulikov, VadimFulltext disponibile |
| 5 |
Material Type: Articolo
|
|
A Finite-Model-Theoretic View on Propositional Proof ComplexityGrädel, Erich ; Grohe, Martin ; Pago, Benedikt ; Pakusa, WiedFulltext disponibile |
| 6 |
Material Type: Articolo
|
|
|
| 7 |
Material Type: Articolo
|
|
|
| 8 |
Material Type: Articolo
|
|
The complexity of topological conjugacy of pointed Cantor minimal systemsKaya, BurakArchive for mathematical logic, 2017-05, Vol.56 (3-4), p.215-235 [Rivista Peer Reviewed]Fulltext disponibile |
| 9 |
Material Type: Articolo
|
|
Logical characterizations of computational complexity classesNaidenko, VladimirFulltext disponibile |
| 10 |
Material Type: Atti di convegno
|
|
Identifiers in Registers - Describing Network Algorithms with LogicBollig, Benedikt ; Bouyer, Patricia ; Reiter, FabianFulltext disponibile |
Risutati 1 - 10 di 703 per Ricerca globale
Ordinati per:
Ordinati per:
rilevanzaOr hit Enter to replace sort method
- rilevanza
- data più recente
- autore
- titolo
Personalizza i tuoi risultati
Refine Search Results
Espandi i risultati
Mostra solo
- Riviste Peer-reviewed (420)
Affina i risultati
Nuove accessioni
Tipo di risorsa
Argomento
- Algorithms
- Analysis
- Complexity
- Computer Science
- Computer Science - Logic In Computer Science
- Computer Science, Theory & Methods
- Logic
- Mathematical Models
- Mathematics
- Mathematics - Logic
- Multidisciplinary Sciences
- Physical Sciences
- Physics
- Physics - Physics And Society
- Physics, Multidisciplinary
- Research
- Science
- Science & Technology
- Science & Technology - Other Topics
- Technology
-
Altre opzioni
Data di pubblicazione
Collezione
- Alma/SFX Local Collection
- Directory of Open Access Journals
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- ProQuest Central
- Springer 2012 Corporate Journal Collection
- Springer Americas
- Springer Americas - EPA
- Springer for R&D - Aerospace
- Springer for R&D - Electronics
- Springer for R&D - IT & Software
- Springer for R&D - Telecommunications
- Springer for R&D Journals Complete
- Springer Online Journal Archives (Through 1996)
- Springer Online Journals Complete
- SpringerLINK Contemporary - All Americas Package
- SpringerLINK Contemporary - Community Plus
- SpringerLink Contemporary - Orbis Cascade Alliance
- SpringerLink Contemporary (1997 - Present)
- SpringerLink Journals (Redia)
-
Altre opzioni
Lingua
Titolo della rivista
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Entropy
- Foundations Of Physics
- Lecture Notes In Computer Science
- Logical Methods In Computer Science
- New Journal Of Physics
- Plos One
- The Astrophysical Journal
- The European Physical Journal. B, Condensed Matter Physics
-
Altre opzioni