skip to main content
Lingue:

Risutati 1 - 10 di 713  per Ricerca globale

Risultati 1 2 3 4 5 next page
Mostra solo
Filtrati per: Collezione: arXiv.org rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Randomisation and Derandomisation in Descriptive Complexity Theory
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Randomisation and Derandomisation in Descriptive Complexity Theory

Eickmeyer, Kord ; Grohe, Martin ; Dawar, Anuj

Logical methods in computer science, 2011-09-21, Vol.7 (3) [Rivista Peer Reviewed]

Fulltext disponibile

2
Model-checking problems as a basis for parameterized intractability
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Model-checking problems as a basis for parameterized intractability

Flum, Jörg ; Grohe, Martin ; Libkin, Leonid

Logical methods in computer science, 2005-03-07, Vol.1 (1) [Rivista Peer Reviewed]

Fulltext disponibile

3
The Expressive Power of Higher-Order Datalog
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

The Expressive Power of Higher-Order Datalog

CHARALAMBIDIS, ANGELOS ; NOMIKOS, CHRISTOS ; RONDOGIANNIS, PANOS

Theory and practice of logic programming, 2019-09, Vol.19 (5-6), p.925-940 [Rivista Peer Reviewed]

Fulltext disponibile

4
Generalized Descriptive Set Theory and Classification Theory
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Generalized Descriptive Set Theory and Classification Theory

Friedman, Sy-David ; Hyttinen, Tapani ; Kulikov, Vadim

Fulltext disponibile

5
On Some Sets of Dictionaries Whose omega-Powers Have a Given Complexity
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On Some Sets of Dictionaries Whose omega-Powers Have a Given Complexity

Finkel, Olivier

Mathematical logic quarterly, 2009-11-17, Vol.56 (5), p.452–460 [Rivista Peer Reviewed]

Fulltext disponibile

6
A Finite-Model-Theoretic View on Propositional Proof Complexity
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

A Finite-Model-Theoretic View on Propositional Proof Complexity

Grädel, Erich ; Grohe, Martin ; Pago, Benedikt ; Pakusa, Wied

Fulltext disponibile

7
Capturing Polynomial Time using Modular Decomposition
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Capturing Polynomial Time using Modular Decomposition

Grußien, Berit

Fulltext disponibile

8
On the Descriptive Complexity of Color Coding
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the Descriptive Complexity of Color Coding

Bannach, Max ; Tantau, Till

Fulltext disponibile

9
Identifiers in Registers - Describing Network Algorithms with Logic
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Identifiers in Registers - Describing Network Algorithms with Logic

Bollig, Benedikt ; Bouyer, Patricia ; Reiter, Fabian

Fulltext disponibile

10
The complexity of topological conjugacy of pointed Cantor minimal systems
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

The complexity of topological conjugacy of pointed Cantor minimal systems

Kaya, Burak

Archive for mathematical logic, 2017-05, Vol.56 (3-4), p.215-235 [Rivista Peer Reviewed]

Fulltext disponibile

Risutati 1 - 10 di 713  per Ricerca globale

Risultati 1 2 3 4 5 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (440)

Affina i risultati

Nuove accessioni 

  1. Dall'ultimo Mese 
  2. Dagli Ultimi 3 Mesi 
  3. Altre opzioni open sub menu

Data di pubblicazione 

Da A
  1. Prima del2003 
  2. 2003-2006 
  3. 2007-2010 
  4. 2011-2016 
  5. Dopo il 2016 
  6. Altre opzioni open sub menu

Ricerca in corso nelle risorse remote ...