skip to main content
Idioma:
Refinado por: autor: Middeldorp, Aart remover Nome da Publicação: arXiv.org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

arXiv.org, 2024-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

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

arXiv.org, 2023-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

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

arXiv.org, 2023-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
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
5
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
6
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
7
Complexity of Conditional Term Rewriting
Complexity of Conditional Term Rewriting
Material Type:
Artigo 		Adicionar ao Meu Espaço

Complexity of Conditional Term Rewriting

Kop, Cynthia ; Middeldorp, Aart ; Sternagel, Thomas

arXiv.org, 2017-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
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 ; Vincent van Oostrom

arXiv.org, 2015-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

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

arXiv.org, 2014-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

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

arXiv.org, 2015-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2011  (2)
  2. 2011Até2014  (4)
  3. 2015Até2018  (5)
  4. 2019Até2023  (4)
  5. Após 2023  (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.