skip to main content
Lingue:

Risutati 1 - 10 di 12  per Ricerca globale

Risultati 1 2 next page
Filtrati per: Collezione: Elsevier (CrossRef) rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Special Issue: Games in Verification

Veith, Helmut

Journal of Computer and System Sciences, 2012, Vol.78(2), pp.393-393 [Rivista Peer Reviewed]

Fulltext disponibile

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

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability

Konnov, Igor ; Veith, Helmut ; Widder, Josef

Information and Computation, February 2017, Vol.252, pp.95-109 [Rivista Peer Reviewed]

Fulltext disponibile

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

Succinct Representation, Leaf Languages, and Projection Reductions

Veith, Helmut

Information and Computation, 01 May 1998, Vol.142(2), pp.207-236 [Rivista Peer Reviewed]

Fulltext disponibile

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

A study of perfluorocarboxylate ester solvents for lithium ion battery electrolytes

Fears, Tyler M ; Sacci, Robert L ; Winiarz, Jeffrey G ; Kaiser, Helmut ; Taub, Haskell ; Veith, Gabriel M

Journal of Power Sources, 20 December 2015, Vol.299, pp.434-442 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Risutati 1 - 10 di 12  per Ricerca globale

Risultati 1 2 next page

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. Hájek, Petr
  4. Verbitsky, Oleg
  5. Montagna, Franco

Ricerca in corso nelle risorse remote ...