skip to main content
Lingue:
Inclusi "descriptional complexity"   Solo ricerca Descriptive Complexity Theory

Risutati 1 - 10 di 103  per Ricerca globale

Risultati 1 2 3 4 5 next page
Mostra solo
Filtrati per: Argomento: Computational Complexity rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Descriptive Complexity Theories
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Descriptive Complexity Theories

Joerg Flum

Theoria (Madrid, Spain), 2003-01-01, Vol.18 (1(46)), p.47-58 [Rivista Peer Reviewed]

Fulltext disponibile

2
Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

Jeffrey Shallit editor.; Alexander Okhotin editor.

Accesso online

3
Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity

Skrzypczak, Michał

Fulltext disponibile

4
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I

Ersébet Csuhaj-Varjú editor.; Martin Dietzfelbinger editor.; Zoltán Ésik editor.

Accesso online

5
Monadic logical definability of nondeterministic linear time
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Monadic logical definability of nondeterministic linear time

Grandjean, É ; Olive, F

Computational complexity, 1998-07, Vol.7 (1), p.54-97 [Rivista Peer Reviewed]

Fulltext disponibile

6
Languages represented by Boolean formulas
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Languages represented by Boolean formulas

Veith, Helmut

Information processing letters, 1997, Vol.63 (5), p.251-256 [Rivista Peer Reviewed]

Fulltext disponibile

7
Logics Which Capture Complexity Classes Over the Reals
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Logics Which Capture Complexity Classes Over the Reals

Felipe Cucker ; Klaus Meer

The Journal of symbolic logic, 1999-03-01, Vol.64 (1), p.363-390 [Rivista Peer Reviewed]

Fulltext disponibile

8
The shrinking property for NP and coNP
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

The shrinking property for NP and coNP

Glaßer, Christian ; Reitwießner, Christian ; Selivanov, Victor

Theoretical computer science, 2011, Vol.412 (8), p.853-864 [Rivista Peer Reviewed]

Fulltext disponibile

9
Weihrauch Degrees, Omniscience Principles and Weak Computability
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Weihrauch Degrees, Omniscience Principles and Weak Computability

Brattka, Vasco ; Gherardi, Guido

Fulltext disponibile

10
The Descriptive Complexity Approach to LOGCFL
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

The Descriptive Complexity Approach to LOGCFL

Lautemann, Clemens ; McKenzie, Pierre ; Schwentick, Thomas ; Vollmer, Heribert

Journal of computer and system sciences, 2001-06, Vol.62 (4), p.629-652 [Rivista Peer Reviewed]

Fulltext disponibile

Risutati 1 - 10 di 103  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 (76)

Data di pubblicazione 

Da A
  1. Prima del1997 
  2. 1997-2001 
  3. 2002-2006 
  4. 2007-2012 
  5. Dopo il 2012 
  6. Altre opzioni open sub menu

Ricerca in corso nelle risorse remote ...