skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: assunto: Mathematics, Applied remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Three Paths to Effectiveness
Three Paths to Effectiveness
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Three Paths to Effectiveness

Boker, Udi ; Dershowitz, Nachum

Fields of Logic and Computation, p.135-146 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
2
Termination of rewriting
Termination of rewriting
Material Type:
Artigo 		Adicionar ao Meu Espaço

Termination of rewriting

Dershowitz, Nachum

Journal of symbolic computation, 1987-02, Vol.3 (1), p.69-115 [Periódico revisado por pares]

Orlando, FL: Elsevier Ltd

Texto completo disponível

Citações Citado por
3
Existence, uniqueness, and construction of rewrite systems
Existence, uniqueness, and construction of rewrite systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Existence, uniqueness, and construction of rewrite systems

DERSHOWITZ, N ; MARCUS, L ; TARLECKI, A

SIAM journal on computing, 1988-08, Vol.17 (4), p.629-639 [Periódico revisado por pares]

Philadelphia, PA: Society for Industrial and Applied Mathematics

Texto completo disponível

Citações Citado por
4
Critical pair criteria for completion
Critical pair criteria for completion
Material Type:
Artigo 		Adicionar ao Meu Espaço

Critical pair criteria for completion

Bachmair, Leo ; Dershowitz, Nachum

Journal of symbolic computation, 1988-08, Vol.6 (1), p.1-18 [Periódico revisado por pares]

Orlando, FL: Elsevier Ltd

Texto completo disponível

Citações Citado por
5
Patterns in trees
Patterns in trees
Material Type:
Artigo 		Adicionar ao Meu Espaço

Patterns in trees

Dershowitz, Nachum ; Zaks, Shmuel

Discrete Applied Mathematics, 1989-11, Vol.25 (3), p.241-255 [Periódico revisado por pares]

Lausanne: Elsevier B.V

Texto completo disponível

Citações Citado por
6
Logical debugging
Logical debugging
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logical debugging

Dershowitz, Nachum ; Lee, Yuh-Jeng

Journal of symbolic computation, 1993-05, Vol.15 (5), p.745-773 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
7
Deductive and inductive synthesis of equational programs
Deductive and inductive synthesis of equational programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deductive and inductive synthesis of equational programs

Dershowitz, Nachum ; Reddy, Uday S.

Journal of symbolic computation, 1993-05, Vol.15 (5), p.467-494 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
8
Artificial intelligence: Retrospective/prospective
Artificial intelligence: Retrospective/prospective
Material Type:
Artigo 		Adicionar ao Meu Espaço

Artificial intelligence: Retrospective/prospective

Dershowitz Nachum

Annals of mathematics and artificial intelligence, 2000-10, Vol.28 (1-4), p.3-5 [Periódico revisado por pares]

Dordrecht: Springer Nature B.V

Texto completo disponível

Citações Citado por
9
A General Framework for Automatic Termination Analysis of Logic Programs
A General Framework for Automatic Termination Analysis of Logic Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

A General Framework for Automatic Termination Analysis of Logic Programs

Dershowitz, Nachum ; Lindenstrauss, Naomi ; Sagiv, Yehoshua ; Serebrenik, Alexander

Applicable algebra in engineering, communication and computing, 2001, Vol.12 (1-2), p.117-156 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
10
How to Compare the Power of Computational Models
How to Compare the Power of Computational Models
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

How to Compare the Power of Computational Models

Boker, Udi ; Dershowitz, Nachum

Lecture notes in computer science, 2005, p.54-64 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (28)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (25)
  2. Book Chapters  (6)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (2)
  2. 1988Até1992  (3)
  3. 1993Até2000  (3)
  4. 2001Até2006  (8)
  5. Após 2006  (16)
  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.