skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Middeldorp, Aart remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Complexity of Conditional Term Rewriting
Complexity of Conditional Term Rewriting
Material Type:
Artigo 		Adicionar ao Meu Espaço

Complexity of Conditional Term Rewriting

Kop, Cynthia ; Middeldorp, Aart ; Sternagel, Thomas

arXiv.org, 2017-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
12
Layer Systems for Proving Confluence
Layer Systems for Proving Confluence
Material Type:
Artigo 		Adicionar ao Meu Espaço

Layer Systems for Proving Confluence

Felgenhauer, Bertram ; Middeldorp, Aart ; Zankl, Harald ; Vincent van Oostrom

arXiv.org, 2015-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
13
Labelings for Decreasing Diagrams
Labelings for Decreasing Diagrams
Material Type:
Artigo 		Adicionar ao Meu Espaço

Labelings for Decreasing Diagrams

Zankl, Harald ; Felgenhauer, Bertram ; Middeldorp, Aart

arXiv.org, 2014-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
14
AC-KBO Revisited
AC-KBO Revisited
Material Type:
Artigo 		Adicionar ao Meu Espaço

AC-KBO Revisited

Yamada, Akihisa ; Winkler, Sarah ; Hirokawa, Nao ; Middeldorp, Aart

arXiv.org, 2015-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
15
Proceedings 8th International Workshop on Computing with Terms and Graphs
Proceedings 8th International Workshop on Computing with Terms and Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proceedings 8th International Workshop on Computing with Terms and Graphs

Middeldorp, Aart ; Femke van Raamsdonk

arXiv.org, 2015-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
16
Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited
Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited
Material Type:
Artigo 		Adicionar ao Meu Espaço

Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited

Neurauter, Friedrich ; Middeldorp, Aart

arXiv.org, 2014-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
17
On the Complexity of Deciding Call-by-Need
On the Complexity of Deciding Call-by-Need
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Complexity of Deciding Call-by-Need

Durand, Irène ; Middeldorp, Aart

arXiv.org, 2011-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
18
Uncurrying for Innermost Termination and Derivational Complexity
Uncurrying for Innermost Termination and Derivational Complexity
Material Type:
Artigo 		Adicionar ao Meu Espaço

Uncurrying for Innermost Termination and Derivational Complexity

Zankl, Harald ; Hirokawa, Nao ; Middeldorp, Aart

arXiv.org, 2011-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
19
Decreasing Diagrams and Relative Termination
Decreasing Diagrams and Relative Termination
Material Type:
Artigo 		Adicionar ao Meu Espaço

Decreasing Diagrams and Relative Termination

Hirokawa, Nao ; Middeldorp, Aart

arXiv.org, 2009-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
20
Satisfying KBO Constraints
Satisfying KBO Constraints
Material Type:
Artigo 		Adicionar ao Meu Espaço

Satisfying KBO Constraints

Zankl, Harald ; Middeldorp, Aart

2006-08

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (41)
  2. Revistas revisadas por pares (26)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2000  (4)
  2. 2000Até2005  (9)
  3. 2006Até2009  (6)
  4. 2010Até2015  (16)
  5. Após 2015  (18)
  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.