skip to main content
Idioma:
Refinado por: assunto: Applied Sciences remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Size-Change Termination for Term Rewriting
Size-Change Termination for Term Rewriting
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Size-Change Termination for Term Rewriting

Thiemann, René ; Giesl, Jürgen Nieuwenhuis, Robert

Lecture notes in computer science, 2003, p.264-278 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Context-Moving Transformations for Function Verification
Context-Moving Transformations for Function Verification
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Context-Moving Transformations for Function Verification

Giesl, Jürgen Bossi, Annalisa

Lecture notes in computer science, 2000, p.293-312 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Deciding Inductive Validity of Equations
Deciding Inductive Validity of Equations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Deciding Inductive Validity of Equations

Giesl, Jürgen ; Kapur, Deepak Baader, Franz

Automated Deduction – CADE-19, 2003, p.17-31 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Improving Dependency Pairs
Improving Dependency Pairs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Improving Dependency Pairs

Giesl, Jürgen ; Thiemann, René ; Schneider-Kamp, Peter ; Falke, Stephan Vardi, Moshe Y. ; Voronkov, Andrei

Lecture notes in computer science, 2003, p.167-182 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Improved Modular Termination Proofs Using Dependency Pairs
Improved Modular Termination Proofs Using Dependency Pairs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Improved Modular Termination Proofs Using Dependency Pairs

Thiemann, René ; Giesl, Jürgen ; Schneider-Kamp, Peter Basin, David ; Rusinowitch, Michaël

Automated Reasoning, 2004, p.75-90 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Termination analysis by inductive evaluation
Termination analysis by inductive evaluation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Termination analysis by inductive evaluation

Brauburger, Jürgen ; Giesl, Jürgen Kirchner, Claude ; Kirchner, Hélène

Automated Deduction — CADE-15, 2006, p.254-269 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Termination of term rewriting using dependency pairs: Trees in Algebra and Programming
Termination of term rewriting using dependency pairs: Trees in Algebra and Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Termination of term rewriting using dependency pairs: Trees in Algebra and Programming

ARTS, T ; GIESL, J

Theoretical computer science, 2000, Vol.236 (1-2), p.133-178 [Periódico revisado por pares]

Amsterdam: Elsevier

Texto completo disponível

Citações Citado por
8
Eliminating Dummy Elimination
Eliminating Dummy Elimination
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Eliminating Dummy Elimination

Giesl, Jürgen ; Middeldorp, Aart McAllester, David

Automated Deduction - CADE-17, 2000, p.309-323 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Modularity of termination using dependency pairs
Modularity of termination using dependency pairs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Modularity of termination using dependency pairs

Arts, Thomas ; Giesl, Jürgen Nipkow, Tobias

Lecture notes in computer science, 1998, p.226-240 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Applying rewriting techniques to the verification of erlang processes
Applying rewriting techniques to the verification of erlang processes
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Applying rewriting techniques to the verification of erlang processes

ARTS, T ; GIESL, J

Lecture notes in computer science, 1999, p.96-110 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1998  (1)
  2. 1998Até1998  (2)
  3. 1999Até1999  (3)
  4. 2000Até2003  (8)
  5. Após 2003  (2)
  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.