skip to main content
Idioma:
Refinado por: autor: Middeldorp, Aart remover assunto: Science & Technology - Other Topics remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Abstract Completion, Formalized
Abstract Completion, Formalized
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstract Completion, Formalized

Nao Hirokawa ; Aart Middeldorp ; Christian Sternagel ; Sarah Winkler

Logical methods in computer science, 2019-01, Vol.15, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
2
Complexity of Conditional Term Rewriting
Complexity of Conditional Term Rewriting
Material Type:
Artigo 		Adicionar ao Meu Espaço

Complexity of Conditional Term Rewriting

Cynthia Kop ; Aart Middeldorp ; Thomas Sternagel

Logical methods in computer science, 2017-01, Vol.13, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

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

Logical methods in computer science, 2014-09, Vol.10, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
4
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
5
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
6
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
7
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
8
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
9
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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (6)
  2. Revistas revisadas por pares (8)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2010  (1)
  2. 2010Até2013  (1)
  3. 2014Até2014  (1)
  4. 2015Até2016  (3)
  5. Após 2016  (4)
  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.