skip to main content
Idioma:
previous page 1 2 Resultados 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
21
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
22
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
23
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
24
Processes, terms and cycles: steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Processes, terms and cycles: steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Processes, terms and cycles: steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

Middeldorp, Aart ; Oostrom, Vincent van ; Raamsdonk, Femke van ; Vrijer, Roel de

Springer 2006

Sem texto completo

Citações Citado por
25
Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. Proceedings
Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. Proceedings

Middeldorp, Aart Middeldorp, Aart

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por
26
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification
Material Type:
Artigo 		Adicionar ao Meu Espaço

First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification

Middeldorp, Aart ; Lochmann, Alexander ; Mitterwallner, Fabian

Journal of automated reasoning, 2023-06, Vol.67 (2), p.14-14, Article 14 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
27
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings

Middeldorp, Aart ; Sato, Taisuke Sato, Taisuke ; Middeldorp, Aart

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
28
Preface: Selected Extended Papers of CADE 2015
Preface: Selected Extended Papers of CADE 2015
Material Type:
Artigo 		Adicionar ao Meu Espaço

Preface: Selected Extended Papers of CADE 2015

Felty, Amy ; Middeldorp, Aart

Journal of automated reasoning, 2017-03, Vol.58 (3), p.311-312 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

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

Theory and practice of logic programming, 2016-03, Vol.16 (2), p.163-188 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

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

Journal of automated reasoning, 2015-02, Vol.54 (2), p.101-133 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (32)
  2. Anais de Congresso  (7)
  3. Livros  (7)
  4. Book Chapters  (6)
  5. Recursos Textuais  (1)
  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.