skip to main content
Lingue:

Risutati 1 - 10 di 48  per Ricerca globale

Risultati 1 2 3 4 5 next page
Mostra solo
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
8
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Unitary equivalence of automorphisms of separable C-algebras

Lupini, Martino

Advances in Mathematics, 10 September 2014, Vol.262, pp.1002-1034 [Rivista Peer Reviewed]

Fulltext disponibile

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

On some sets of dictionaries whose ω ‐powers have a given

Finkel, Olivier

Mathematical Logic Quarterly, 2010, Vol.56, pp.452-460 [Rivista Peer Reviewed]

Fulltext disponibile

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

itP/it ne; itNP/it cap; co-itNP/it for Infinite Time Turing Machines

Deolalikar, Vinay ; Hamkins, Joel David ; Schindler, Ralf

Journal of Logic and Computation, 2005, Vol.15(5), pp.577-592 [Rivista Peer Reviewed]

Fulltext disponibile

Risutati 1 - 10 di 48  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 (38)

Affina i risultati

Tipo di risorsa 

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

Data di pubblicazione 

Da A
  1. Prima del2001 
  2. 2001-2004 
  3. 2005-2009 
  4. 2010-2015 
  5. Dopo il 2015 
  6. Altre opzioni open sub menu

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Grohe, M.
  2. Otto, Martin
  3. Stewart, I.A.
  4. Stewart, Ia
  5. Schwentick, Thomas

Ricerca in corso nelle risorse remote ...