skip to main content
Lingue:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

9 Risultati  per Ricerca globale

Mostra solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
On the expressive power of monadic least fixed point logic
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the expressive power of monadic least fixed point logic

Schweikardt, Nicole

Theoretical computer science, 2006, Vol.350 (2), p.325-344 [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
Hierarchies in classes of program schemes
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Hierarchies in classes of program schemes

Arratia-Quesada, A

Journal of logic and computation, 1999-12-01, Vol.9 (6), p.915-957 [Rivista Peer Reviewed]

Fulltext disponibile

4
Monadic NP and graph minors
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Monadic NP and graph minors

KREIDLER, M ; SEESE, D

Lecture notes in computer science, 1999, p.126-141 [Rivista Peer Reviewed]

Fulltext disponibile

5
Succinctness as a source of complexity in logical formalisms
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Succinctness as a source of complexity in logical formalisms

Gottlob, Georg ; Leone, Nicola ; Veith, Helmut

Annals of pure and applied logic, 1999, Vol.97 (1), p.231-260 [Rivista Peer Reviewed]

Fulltext disponibile

6
Enhancing fixed point logic with cardinality quantifiers
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Enhancing fixed point logic with cardinality quantifiers

Hella, L

Journal of logic and computation, 1998-02-01, Vol.8 (1), p.71-86 [Rivista Peer Reviewed]

Fulltext disponibile

7
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

8
Monadic NP and built-in trees
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Monadic NP and built-in trees

KREIDLER, M ; SEESE, D

Lecture notes in computer science, 1997, p.260-274 [Rivista Peer Reviewed]

Fulltext disponibile

9
Linear Time Computable Problems and Logical Descriptions
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Linear Time Computable Problems and Logical Descriptions

Seese, Detlef

Electronic notes in theoretical computer science, 1995, Vol.2, p.246-259

Fulltext disponibile

9 Risultati  per Ricerca globale

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (8)

Affina i risultati

Tipo di risorsa 

  1. Articoli 
  2. Atti di convegno 
  3. Altre opzioni open sub menu

Data di pubblicazione 

Da A

Ricerca in corso nelle risorse remote ...