skip to main content
Idioma:
previous page 1 2 3 Resultados 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
31
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 ; Van Oostrom, Vincent

ACM transactions on computational logic, 2015-03, Vol.16 (2), p.1-32 [Periódico revisado por pares]

Texto completo disponível

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

Journal of automated reasoning, 2011-12, Vol.47 (4), p.481-501 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
34
Satisfiability of Non-linear (Ir)rational Arithmetic
Satisfiability of Non-linear (Ir)rational Arithmetic
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Satisfiability of Non-linear (Ir)rational Arithmetic

Zankl, Harald ; Middeldorp, Aart Voronkov, Andrei ; Clarke, Edmund M.

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
35
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
36
Composing Proof Terms
Composing Proof Terms
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Composing Proof Terms

Kohl, Christina ; Middeldorp, Aart Fontaine, Pascal

Automated Deduction – CADE 27, 2019, p.337-353 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
37
KBO Orientability
KBO Orientability
Material Type:
Artigo 		Adicionar ao Meu Espaço

KBO Orientability

Zankl, Harald ; Hirokawa, Nao ; Middeldorp, Aart

Journal of automated reasoning, 2009-08, Vol.43 (2), p.173-201 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
38
A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems
A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems

Kohl, Christina ; Middeldorp, Aart

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023, p.197-210

New York, NY, USA: ACM

Sem texto completo

Citações Citado por
39
A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems
A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems

Lochmann, Alexander ; Middeldorp, Aart ; Mitterwallner, Fabian ; Felgenhauer, Bertram

Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021, p.250-263

New York, NY, USA: ACM

Sem texto completo

Citações Citado por
40
Constraints for Argument Filterings
Constraints for Argument Filterings
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Constraints for Argument Filterings

Zankl, Harald ; Hirokawa, Nao ; Middeldorp, Aart Plášil, František ; Sack, Harald ; van Leeuwen, Jan ; Italiano, Giuseppe F. ; van der Hoek, Wiebe ; Meinel, Christoph

SOFSEM 2007: Theory and Practice of Computer Science, p.579-590 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
previous page 1 2 3 Resultados 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.