Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Abstract Completion, FormalizedNao Hirokawa ; Aart Middeldorp ; Christian Sternagel ; Sarah WinklerLogical methods in computer science, 2019-01, Vol.15, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
2 |
Material Type: Artigo
|
Complexity of Conditional Term RewritingCynthia Kop ; Aart Middeldorp ; Thomas SternagelLogical methods in computer science, 2017-01, Vol.13, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
Confluence of Logically Constrained Rewrite Systems RevisitedSchöpf, Jonas ; Mitterwallner, Fabian ; Middeldorp, AartarXiv.org, 2024-06Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
4 |
Material Type: Artigo
|
Left-Linear Completion with AC AxiomsNiederhauser, Johannes ; Hirokawa, Nao ; Middeldorp, Aart2024-05Texto completo disponível |
|
5 |
Material Type: Artigo
|
Hydra Battles and AC TerminationHirokawa, Nao ; Middeldorp, AartarXiv.org, 2024-03Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
6 |
Material Type: Artigo
|
Polynomial Interpretations over the Natural, Rational and Real Numbers RevisitedNeurauter, Friedrich ; Middeldorp, AartLogical methods in computer science, 2014-09, Vol.10, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
7 |
Material Type: Artigo
|
Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)Schöpf, Jonas ; Middeldorp, AartarXiv.org, 2023-09Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
8 |
Material Type: Artigo
|
Linear Termination over N is UndecidableMitterwallner, Fabian ; Middeldorp, Aart ; Thiemann, RenéarXiv.org, 2023-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
9 |
Material Type: Artigo
|
Abstract Completion, FormalizedHirokawa, Nao ; Middeldorp, Aart ; Sternagel, Christian ; Winkler, SaraharXiv.org, 2019-08Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
10 |
Material Type: Artigo
|
CoCoWeb - A Convenient Web Interface for Confluence ToolsNagele, Julian ; Middeldorp, AartarXiv.org, 2017-08Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |