skip to main content
Idioma:
Você quis dizer: giese j?
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
The Finite Variant Property: How to Get Rid of Some Algebraic Properties
The Finite Variant Property: How to Get Rid of Some Algebraic Properties
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The Finite Variant Property: How to Get Rid of Some Algebraic Properties

Comon-Lundh, Hubert ; Delaune, Stéphanie Giesl, Jürgen

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
4
Proving Positive Almost-Sure Termination
Proving Positive Almost-Sure Termination
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Proving Positive Almost-Sure Termination

Bournez, Olivier ; Garnier, Florent Giesl, Jürgen

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

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

Giesl, Jürgen

Berlin, Heidelberg: Springer Berlin / Heidelberg 2005

Sem texto completo

Citações Citado por
6
Partial Inversion of Constructor Term Rewriting Systems
Partial Inversion of Constructor Term Rewriting Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Partial Inversion of Constructor Term Rewriting Systems

Nishida, Naoki ; Sakai, Masahiko ; Sakabe, Toshiki Giesl, Jürgen

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
7
Intruder Deduction for AC-Like Equational Theories with Homomorphisms
Intruder Deduction for AC-Like Equational Theories with Homomorphisms
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Intruder Deduction for AC-Like Equational Theories with Homomorphisms

Lafourcade, Pascal ; Lugiez, Denis ; Treinen, Ralf Giesl, Jürgen

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
8
Tyrolean termination tool
Tyrolean termination tool
Material Type:
Artigo 		Adicionar ao Meu Espaço

Tyrolean termination tool

HIROKAWA, Nao ; MIDDELDORP, Aart

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

Berlin: Springer

Sem texto completo

Citações Citado por
9
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
10
Proof-Producing Congruence Closure
Proof-Producing Congruence Closure
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Proof-Producing Congruence Closure

Nieuwenhuis, Robert ; Oliveras, Albert Giesl, Jürgen

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2000  (10)
  2. 2000Até2004  (18)
  3. 2005Até2009  (41)
  4. 2010Até2016  (45)
  5. Após 2016  (5)
  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.