Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Ubiquitous B-TreeComer, DouglasACM computing surveys, 1979-06, Vol.11 (2), p.121-137 [Periódico revisado por pares]Texto completo disponível |
|
2 |
Material Type: Artigo
|
Universal classes of hash functionsCarter, J.Lawrence ; Wegman, Mark N.Journal of computer and system sciences, 1979-01, Vol.18 (2), p.143-154 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
3 |
Material Type: Artigo
|
The directed subgraph homeomorphism problemFortune, Steven ; Hopcroft, John ; Wyllie, JamesTheoretical computer science, 1980-01, Vol.10 (2), p.111-121 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
The Complexity of Enumeration and Reliability ProblemsValiant, Leslie G.SIAM journal on computing, 1979-08, Vol.8 (3), p.410-421 [Periódico revisado por pares]Philadelphia: Society for Industrial and Applied MathematicsTexto completo disponível |
|
5 |
Material Type: Artigo
|
Fast Probabilistic Algorithms for Verification of Polynomial IdentitiesSchwartz, J. T.Journal of the ACM, 1980-10, Vol.27 (4), p.701-717 [Periódico revisado por pares]Texto completo disponível |
|
6 |
Material Type: Artigo
|
Propositional dynamic logic of regular programsFischer, Michael J. ; Ladner, Richard E.Journal of computer and system sciences, 1979-01, Vol.18 (2), p.194-211 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
7 |
Material Type: Artigo
|
A faster algorithm computing string edit distancesMasek, William J. ; Paterson, Michael S.Journal of computer and system sciences, 1980-01, Vol.20 (1), p.18-31 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
8 |
Material Type: Artigo
|
A theory of type polymorphism in programmingMilner, RobinJournal of computer and system sciences, 1978-01, Vol.17 (3), p.348-375 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
9 |
Material Type: Artigo
|
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting SystemsHuet, GérardJournal of the ACM, 1980-10, Vol.27 (4), p.797-821 [Periódico revisado por pares]Texto completo disponível |
|
10 |
Material Type: Artigo
|
Parallel Prefix ComputationLadner, Richard E. ; Fischer, Michael J.Journal of the ACM, 1980-10, Vol.27 (4), p.831-838 [Periódico revisado por pares]Texto completo disponível |