Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Online Dial-a-Ride Problems: Minimizing the Completion Time?Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.639-650 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
λ-Coloring of GraphsSymposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.395-406 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Decidability of Reachability Problems for Classes of Two Counters AutomataSymposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.346-357 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
The Data Broadcast Problem with PreemptionSymposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.181-192 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Linear Cellular Automata with Multiple State VariablesSymposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.110-121 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
A New Algorithm for MAX-2-SAT?Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieSTACS 2000, 2000, Vol.1770, p.65-73 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
On the Performance of WEAK-HEAPSORTSymposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.254-266 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Simulation and Bisimulation over One-Counter ProcessesSymposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.334-345 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Languages of Dot-Depth 3/2Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.555-566 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Circuits versus Trees in Algebraic ComplexitySymposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.35-52 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |