skip to main content
Idioma:
Resultados 1 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
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
Confluence of Logically Constrained Rewrite Systems Revisited
Confluence of Logically Constrained Rewrite Systems Revisited
Material Type:
Artigo 		Adicionar ao Meu Espaço

Confluence of Logically Constrained Rewrite Systems Revisited

Schöpf, Jonas ; Mitterwallner, Fabian ; Middeldorp, Aart

2024-02

Texto completo disponível

Citações Citado por
4
Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)
Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)

Schöpf, Jonas ; Middeldorp, Aart

2023-09

Texto completo disponível

Citações Citado por
5
Linear Termination over N is Undecidable
Linear Termination over N is Undecidable
Material Type:
Artigo 		Adicionar ao Meu Espaço

Linear Termination over N is Undecidable

Mitterwallner, Fabian ; Middeldorp, Aart ; Thiemann, René

2023-07

Texto completo disponível

Citações Citado por
6
Hydra Battles and AC Termination
Hydra Battles and AC Termination
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hydra Battles and AC Termination

Hirokawa, Nao ; Middeldorp, Aart

2023-07

Texto completo disponível

Citações Citado por
7
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
8
Abstract Completion, Formalized
Abstract Completion, Formalized
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstract Completion, Formalized

Hirokawa, Nao ; Middeldorp, Aart ; Sternagel, Christian ; Winkler, Sarah

arXiv.org, 2019-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
CoCoWeb - A Convenient Web Interface for Confluence Tools
CoCoWeb - A Convenient Web Interface for Confluence Tools
Material Type:
Artigo 		Adicionar ao Meu Espaço

CoCoWeb - A Convenient Web Interface for Confluence Tools

Nagele, Julian ; Middeldorp, Aart

arXiv.org, 2017-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Tools in Term Rewriting for Education
Tools in Term Rewriting for Education
Material Type:
Artigo 		Adicionar ao Meu Espaço

Tools in Term Rewriting for Education

Winkler, Sarah ; Middeldorp, Aart

arXiv.org, 2020-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
Resultados 1 2 3 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  (6)
  3. Livros  (6)
  4. Book Chapters  (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  (8)
  3. 2006Até2009  (5)
  4. 2010Até2015  (17)
  5. Após 2015  (15)
  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.