skip to main content
Lingue:
Mostra solo
Filtrati per: Argomento: Mathematics rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Closure properties and complexity of rational sets of regular languages

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut

Theoretical Computer Science, 09 November 2015, Vol.605, pp.62-79 [Rivista Peer Reviewed]

Fulltext disponibile

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

On the complexity of data disjunctions

Eiter, Thomas ; Veith, Helmut

Theoretical Computer Science, 2002, Vol.288(1), pp.101-128 [Rivista Peer Reviewed]

Fulltext disponibile

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

Interpolation in fuzzy logic

Baaz, Matthias ; Veith, Helmut

Archive for Mathematical Logic, 1999, Vol.38(7), pp.461-489 [Rivista Peer Reviewed]

Fulltext disponibile

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

The first order definability of graphs: Upper bounds for quantifier depth

Pikhurko, Oleg ; Veith, Helmut ; Verbitsky, Oleg

Discrete Applied Mathematics, 2006, Vol.154(17), pp.2511-2529 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
5
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
6
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
7
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

The First Order Definability of Graphs: Upper Bounds for Quantifier Rank

Pikhurko, Oleg ; Veith, Helmut ; Verbitsky, Oleg

Fulltext disponibile

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (6)

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Veith, Helmut
  2. Veith, H.
  3. Pikhurko, Oleg
  4. Verbitsky, Oleg
  5. Baaz, M.

Ricerca in corso nelle risorse remote ...