skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: assunto: Technology remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Termination of term rewriting using dependency pairs
Termination of term rewriting using dependency pairs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Termination of term rewriting using dependency pairs

Arts, Thomas ; Giesl, Jürgen

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

Elsevier B.V

Texto completo disponível

Citações Citado por
2
Lower Runtime Bounds for Integer Programs
Lower Runtime Bounds for Integer Programs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Lower Runtime Bounds for Integer Programs

Frohn, F. ; Naaf, M. ; Hensel, J. ; Brockschmidt, M. ; Giesl, J.

Automated Reasoning, p.550-567 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Transformation techniques for context-sensitive rewrite systems
Transformation techniques for context-sensitive rewrite systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Transformation techniques for context-sensitive rewrite systems

GIESL, JÜRGEN ; MIDDELDORP, AART

Journal of functional programming, 2004-07, Vol.14 (4), p.379-427 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
4
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

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
5
Modular Termination Proofs for Rewriting Using Dependency Pairs
Modular Termination Proofs for Rewriting Using Dependency Pairs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modular Termination Proofs for Rewriting Using Dependency Pairs

Giesl, Jürgen ; Arts, Thomas ; Ohlebusch, Enno

Journal of symbolic computation, 2002-07, Vol.34 (1), p.21-58 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
6
The size-change principle and dependency pairs for termination of term rewriting
The size-change principle and dependency pairs for termination of term rewriting
Material Type:
Artigo 		Adicionar ao Meu Espaço

The size-change principle and dependency pairs for termination of term rewriting

Thiemann, René ; Giesl, Jürgen

Applicable algebra in engineering, communication and computing, 2005-09, Vol.16 (4), p.229-270 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
7
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

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
8
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

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
9
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

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
10
Termination of Nested and Mutually Recursive Algorithms
Termination of Nested and Mutually Recursive Algorithms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Termination of Nested and Mutually Recursive Algorithms

Giesl, Jürgen

Journal of automated reasoning, 1997-08, Vol.19 (1), p.1 [Periódico revisado por pares]

Dordrecht: Springer Nature B.V

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. Revistas revisadas por pares (23)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

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