Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Capítulo de Livro
|
![]() |
Characterizing and Deciding MSO-Definability of Macro Tree Transductions?Engelfriet, Joost ; Maneth, Sebastian Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.542-554 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
12 |
Material Type: Capítulo de Livro
|
![]() |
Circuits versus Trees in Algebraic ComplexityKoiran, Pascal Reichel, Horst ; Tison, Sophie ; 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 |
13 |
Material Type: Capítulo de Livro
|
![]() |
Codes and GraphsShokrollahi, M. Amin Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.1-12 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
14 |
Material Type: Artigo de Congresso
|
![]() |
Compression and entropyGeorges Hansel Dominique Perrin; Imre Simon 1943-2009; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)Proceedings Berlin : Springer, 1992Berlin Springer 1992Localização: IME - Inst. Matemática e Estatística (PROD-834804 ) e outros locais(Acessar) |
15 |
Material Type: Capítulo de Livro
|
![]() |
Controlled Conspiracy-2 Search? (Extended Abstract)Symposium on Theoretical Aspects of Computer Science Reichel, Horst ; Tison, SophieSTACS 2000, 2000, Vol.1770Germany: Springer Berlin / HeidelbergTexto completo disponível |
16 |
Material Type: Capítulo de Livro
|
![]() |
Decidability of Reachability Problems for Classes of Two Counters AutomataFinkel, Alain ; Sutre, Grégoire Reichel, Horst ; Tison, Sophie ; 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 |
17 |
Material Type: Capítulo de Livro
|
![]() |
Distance Labeling Schemes for Well-Separated Graph ClassesKatz, Michal ; Katz, Nir A. ; Peleg, David Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.516-528 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
18 |
Material Type: Capítulo de Livro
|
![]() |
Fast Integer Sorting in Linear SpaceHan, Yijie Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.242-253 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
19 |
Material Type: Capítulo de Livro
|
![]() |
Graph Isomorphism Is Low for ZPP(NP) and Other Lowness ResultsArvind, Vikraman ; Köbler, Johannes Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.431-442 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
20 |
Material Type: Capítulo de Livro
|
![]() |
Hard Instances of Hard Problems?Lutz, Jack H. ; Mhetre, Vikram ; Srinivasan, Sridhar Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.324-333 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |