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
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Enhancing Fixed Point Logic with Cardinality Quantifiers

Hella, Lauri ; Imhof, Henrik

1998, Vol. 8(1), pp.71-86 [Rivista Peer Reviewed]

Fulltext disponibile

2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Hierarchies in classes of program schemes

Arratia - Quesada, Aa ; Chauhan, Sr ; Stewart, Ia

Journal of Logic and Computation, 1999, Vol.9(6), pp.915-957 [Rivista Peer Reviewed]

Fulltext disponibile

3
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, Vol.19(5-6), pp.925-940 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
4
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Languages represented by Boolean formulas

Veith, Helmut

Information Processing Letters, 1997, Vol.63(5), pp.251-256 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
5
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), pp.325-344 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
6
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, pp.246-259 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
7
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), pp.231-260 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Veith, Helmut
  2. Veith, H.
  3. Hella, L.
  4. Nomikos, Christos
  5. Charalambidis, Angelos

Ricerca in corso nelle risorse remote ...