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
Filtrati per: Argomento: Finite Model Theory rimuovi
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
Randomness in complexity theory and logics
Material Type:
Risorsa testuale
Aggiungi allo Scaffale Elettronico

Randomness in complexity theory and logics

Eickmeyer, Kord

Fulltext disponibile

3
The structure of graphs and new logics for the characterization of Polynomial Time
Material Type:
Risorsa testuale
Aggiungi allo Scaffale Elettronico

The structure of graphs and new logics for the characterization of Polynomial Time

Laubner, Bastian

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

6
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

Ricerca in corso nelle risorse remote ...