skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: autor: Middeldorp, Aart remover Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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
3
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Felty, Amy P ; Middeldorp, Aart Felty, Amy P ; Middeldorp, Aart

Cham: Springer Nature 2015

Texto completo disponível

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

Springer 2014

Texto completo disponível

Citações Citado por
5
Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems
Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems

Nagele, Julian ; Middeldorp, Aart Merz, Stephan ; Blanchette, Jasmin Christian

Interactive Theorem Proving, p.290-306 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
AC-KBO Revisited
AC-KBO Revisited
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

AC-KBO Revisited

Yamada, Akihisa ; Winkler, Sarah ; Hirokawa, Nao ; Middeldorp, Aart Sumii, Eijiro ; Codish, Michael

Functional and Logic Programming, 2014, p.319-335 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
A Complete Selection Function for Lazy Conditional Narrowing
A Complete Selection Function for Lazy Conditional Narrowing
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Complete Selection Function for Lazy Conditional Narrowing

Suzuki, Taro ; Middeldorp, Aart Kuchen, Herbert ; Ueda, Kazunori

Functional and Logic Programming, 2001, p.201-215 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
A complete narrowing calculus for higher-order functional logic programming
A complete narrowing calculus for higher-order functional logic programming
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A complete narrowing calculus for higher-order functional logic programming

Nakahara, Koichi ; Middeldorp, Aart ; Ida, Tetsuo Swierstra, S. Doaitse ; Hermenegildo, Manuel

Programming Languages: Implementations, Logics and Programs, 1995, p.97-114 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Ordinals and Knuth-Bendix Orders
Ordinals and Knuth-Bendix Orders
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Ordinals and Knuth-Bendix Orders

Winkler, Sarah ; Zankl, Harald ; Middeldorp, Aart Voronkov, Andrei ; Bjørner, Nikolaj

Logic for Programming, Artificial Intelligence, and Reasoning, p.420-434 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems
Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems

Middeldorp, Aart Voronkov, Andrei ; Bjørner, Nikolaj

Logic for Programming, Artificial Intelligence, and Reasoning, p.12-12 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (17)

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (11)
  2. Anais de Congresso  (6)
  3. Livros  (4)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1997  (3)
  2. 1997Até2000  (3)
  3. 2001Até2004  (5)
  4. 2005Até2014  (10)
  5. Após 2014  (2)
  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.