skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: assunto: Applied Sciences remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computing with rewrite systems
Computing with rewrite systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Computing with rewrite systems

Dershowitz, Nachum

Information and control, 1985-05, Vol.65 (2), p.122-157

New York, NY: Elsevier B.V

Texto completo disponível

Citações Citado por
2
Program abstraction and instantiation
Program abstraction and instantiation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Program abstraction and instantiation

Dershowitz, Nachum

ACM transactions on programming languages and systems, 1985-07, Vol.7 (3), p.446-477 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
3
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
4
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
5
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
6
Calendrical calculations
Calendrical calculations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Calendrical calculations

Dershowitz, Nachum ; Reingold, Edward M.

Software, practice & experience, 1990-09, Vol.20 (9), p.899-928 [Periódico revisado por pares]

New York: John Wiley & Sons, Ltd

Sem texto completo

Citações Citado por
7
Calendrical calculations, II: Three historical calendars
Calendrical calculations, II: Three historical calendars
Material Type:
Artigo 		Adicionar ao Meu Espaço

Calendrical calculations, II: Three historical calendars

Reingold, Edward M. ; Dershowitz, Nachum ; Clamen, Stewart M.

Software, practice & experience, 1993-04, Vol.23 (4), p.383-404 [Periódico revisado por pares]

New York: John Wiley & Sons, Ltd

Sem texto completo

Citações Citado por
8
Equational inference, canonical proofs, and proof orderings
Equational inference, canonical proofs, and proof orderings
Material Type:
Artigo 		Adicionar ao Meu Espaço

Equational inference, canonical proofs, and proof orderings

Bachmair, Leo ; Dershowitz, Nachum

Journal of the ACM, 1994-03, Vol.41 (2), p.236-276 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
9
Natural termination
Natural termination
Material Type:
Artigo 		Adicionar ao Meu Espaço

Natural termination

Dershowitz, Nachum ; Hoot, Charles

Theoretical computer science, 1995-05, Vol.142 (2), p.179-207 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
10
Abstract and-parallel machines
Abstract and-parallel machines
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Abstract and-parallel machines

DERSHOWITZ, N ; LINDENSTRAUSS, N

Lecture notes in computer science, 1997, p.1221-1225 [Periódico revisado por pares]

New York NY: Springer-Verlag

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (17)
  2. Revistas revisadas por pares (25)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (14)
  2. Anais de Congresso  (6)
  3. Book Chapters  (6)
  4. Livros  (3)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (4)
  2. 1988Até1993  (4)
  3. 1994Até1997  (4)
  4. 1998Até2004  (5)
  5. Após 2004  (14)
  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.