skip to main content
Idioma:
Você quis dizer: giese j?
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings

International Conference on Rewriting Techniques and Applications (16th 2005 Nara-ken, Japan) Jürgen Giesl

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

2
Construction of Global Lyapunov Functions Using Radial Basis Functions
Construction of Global Lyapunov Functions Using Radial Basis Functions
Construction of Global Lyapunov Functions Using Radial Basis Functions
Material Type:
Livro 		Adicionar ao Meu Espaço

Construction of Global Lyapunov Functions Using Radial Basis Functions

Peter Giesl J.M Morel; F Takens; B Teissier

Springer Berlin Heidelberg 2007

Acesso online. A biblioteca também possui exemplares impressos.

3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1999  (5)
  2. 1999Até2002  (15)
  3. 2003Até2006  (10)
  4. 2007Até2012  (6)
  5. Após 2012  (9)
  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.