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
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
12
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
13
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
14
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
15
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
16
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
17
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
18
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
19
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

McMillan, Ken ; Middeldorp, Aart ; Voronkov, Andrei McMillan, Ken ; Voronkov, Andrei ; Middeldorp, Aart

Netherlands: Springer Nature 2013

Texto completo disponível

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

On the Complexity of Deciding Call-by-Need

Durand, Irène A. ; Middeldorp, Aart

1998

Sem texto completo

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 (38)
  2. Revistas revisadas por pares (24)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (28)
  2. Livros  (7)
  3. Book Chapters  (6)
  4. Anais de Congresso  (4)
  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  (13)
  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.