skip to main content
Idioma:
Refinado por: Base de dados/Biblioteca: EZB Electronic Journals Library remover tipo de recurso: Artigos remover Lecture Notes In Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Proving pointer programs in higher-order logic
Proving pointer programs in higher-order logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proving pointer programs in higher-order logic

Mehta, Farhad ; Nipkow, Tobias

Information and computation, 2005-05, Vol.199 (1), p.200-227 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
2
Source-tracking unification
Source-tracking unification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Source-tracking unification

Choppella, Venkatesh ; Haynes, Christopher T.

Information and computation, 2003-01, Vol.201 (2), p.121-159 [Periódico revisado por pares]

Berlin: Elsevier Inc

Texto completo disponível

Citações Citado por
3
Edge insertion for optimal triangulations
Edge insertion for optimal triangulations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Edge insertion for optimal triangulations

Bern, 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

Citações Citado por
4
Applications of a new space-partitioning technique
Applications of a new space-partitioning technique
Material Type:
Artigo 		Adicionar ao Meu Espaço

Applications of a new space-partitioning technique

Agarwal, Pankaj K. ; Sharir, Micha

Discrete & computational geometry, 1993-01, Vol.9 (1), p.11-38 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
Context induction : a proof principle for behavioural abstractions and algebraic implementations
Context induction : a proof principle for behavioural abstractions and algebraic implementations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Context induction : a proof principle for behavioural abstractions and algebraic implementations

HENNICKER, R

Formal aspects of computing, 1991-10, Vol.3 (4), p.326-345 [Periódico revisado por pares]

London: Springer

Texto completo disponível

Citações Citado por
6
An improved general E-unification method
An improved general E-unification method
Material Type:
Artigo 		Adicionar ao Meu Espaço

An improved general E-unification method

Dougherty, Daniel J. ; Johann, Patricia

Journal of symbolic computation, 1992, Vol.14 (4), p.303-320 [Periódico revisado por pares]

Orlando, FL: Elsevier Ltd

Texto completo disponível

Citações Citado por
7
Intrinsic Regression Models for Manifold-Valued Data
Intrinsic Regression Models for Manifold-Valued Data
Material Type:
Artigo 		Adicionar ao Meu Espaço

Intrinsic Regression Models for Manifold-Valued Data

Shi, Xiaoyan ; Styner, Martin ; Lieberman, Jeffrey ; Ibrahim, Joseph G ; Lin, Weili ; Zhu, Hongtu

Journal of the American Statistical Association, 2009-01, Vol.5762, p.192-199 [Periódico revisado por pares]

United States

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1992  (1)
  2. 1992Até1992  (2)
  3. 1993Até2002  (1)
  4. 2003Até2005  (2)
  5. Após 2005  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.