Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Applications of a new space-partitioning techniqueAgarwal, Pankaj K. ; Sharir, MichaDiscrete & computational geometry, 1993-01, Vol.9 (1), p.11-38 [Periódico revisado por pares]Texto completo disponível |
|
2 |
Material Type: Artigo
|
Edge insertion for optimal triangulationsBern, M. ; Edelsbrunner, H. ; Eppstein, D. ; Mitchell, S. ; Tan, T. S.Discrete & computational geometry, 1992-01, Vol.10 (1), p.47-65 [Periódico revisado por pares]Texto completo disponível |
|
3 |
Material Type: Artigo
|
Listing all potential maximal cliques of a graphBouchitté, Vincent ; Todinca, IoanTheoretical computer science, 2002-04, Vol.276 (1), p.17-32 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
Source-tracking unificationChoppella, Venkatesh ; Haynes, Christopher T.Information and computation, 2003-01, Vol.201 (2), p.121-159 [Periódico revisado por pares]Berlin: Elsevier IncTexto completo disponível |
|
5 |
Material Type: Artigo
|
An improved general E-unification methodDougherty, Daniel J. ; Johann, PatriciaJournal of symbolic computation, 1992, Vol.14 (4), p.303-320 [Periódico revisado por pares]Orlando, FL: Elsevier LtdTexto completo disponível |
|
6 |
Material Type: Artigo
|
Context induction : a proof principle for behavioural abstractions and algebraic implementationsHENNICKER, RFormal aspects of computing, 1991-10, Vol.3 (4), p.326-345 [Periódico revisado por pares]London: SpringerTexto completo disponível |
|
7 |
Material Type: Artigo
|
Proving pointer programs in higher-order logicMehta, Farhad ; Nipkow, TobiasInformation and computation, 2005-05, Vol.199 (1), p.200-227 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
8 |
Material Type: Artigo
|
Intrinsic Regression Models for Manifold-Valued DataShi, Xiaoyan ; Styner, Martin ; Lieberman, Jeffrey ; Ibrahim, Joseph G ; Lin, Weili ; Zhu, HongtuJournal of the American Statistical Association, 2009-01, Vol.5762, p.192-199 [Periódico revisado por pares]United StatesTexto completo disponível |