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
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
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

4
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

5
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

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
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

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

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (8)

Affina i risultati

Nuove accessioni 

  1. Dall'ultimo Mese 
  2. Altre opzioni open sub menu

Data di pubblicazione 

Da A

Ricerca in corso nelle risorse remote ...