skip to main content
Lingue:
Filtrati per: Titolo della rivista: Annals of Pure and Applied Logic rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Complexity of t-tautologies

Baaz, Matthias ; Hájek, Petr ; Montagna, Franco ; Veith, Helmut

Annals of Pure and Applied Logic, 2001, Vol.113(1), pp.3-11 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
2
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. Montagna, Franco
  4. Hájek, P.
  5. Hájek, Petr

Ricerca in corso nelle risorse remote ...