skip to main content
Idioma:
Refinado por: Base de dados/Biblioteca: IngentaConnect Journals remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Classification of Symbolic Transition Systems?
A Classification of Symbolic Transition Systems?
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Classification of Symbolic Transition Systems?

Henzinger, Thomas A. ; Majumdar, Rupak Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.13-34 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
2
Almost Complete Sets
Almost Complete Sets
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Almost Complete Sets

Ambos-Spies, Klaus ; Merkle, Wolfgang ; Reimann, Jan ; Terwijn, Sebastiaan A. Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.419-430 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
3
An Approximation Algorithm for the Precedence Constrained Scheduling Problem with Hierarchical Communications
An Approximation Algorithm for the Precedence Constrained Scheduling Problem with Hierarchical Communications
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An Approximation Algorithm for the Precedence Constrained Scheduling Problem with Hierarchical Communications

Bampis, Evripidis ; Giroudeau, Rodolphe ; König, Jean-Claude Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.443-454 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
4
Average-Case Quantum Query Complexity
Average-Case Quantum Query Complexity
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Average-Case Quantum Query Complexity

Ambainis, Andris ; de Wolf, Ronald Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.133-144 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
5
Characterizing and Deciding MSO-Definability of Macro Tree Transductions?
Characterizing and Deciding MSO-Definability of Macro Tree Transductions?
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Characterizing and Deciding MSO-Definability of Macro Tree Transductions?

Engelfriet, Joost ; Maneth, Sebastian Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.542-554 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
6
Circuits versus Trees in Algebraic Complexity
Circuits versus Trees in Algebraic Complexity
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Circuits versus Trees in Algebraic Complexity

Koiran, Pascal Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.35-52 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
7
Codes and Graphs
Codes and Graphs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Codes and Graphs

Shokrollahi, M. Amin Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.1-12 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
8
Decidability of Reachability Problems for Classes of Two Counters Automata
Decidability of Reachability Problems for Classes of Two Counters Automata
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Decidability of Reachability Problems for Classes of Two Counters Automata

Finkel, Alain ; Sutre, Grégoire Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.346-357 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
9
Distance Labeling Schemes for Well-Separated Graph Classes
Distance Labeling Schemes for Well-Separated Graph Classes
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Distance Labeling Schemes for Well-Separated Graph Classes

Katz, Michal ; Katz, Nir A. ; Peleg, David Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.516-528 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
10
Fast Integer Sorting in Linear Space
Fast Integer Sorting in Linear Space
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Fast Integer Sorting in Linear Space

Han, Yijie Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.242-253 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.