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
|
![]() |
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 |
4 |
Material Type: Artigo
|
![]() |
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, CertificationMiddeldorp, Aart ; Lochmann, Alexander ; Mitterwallner, FabianJournal of automated reasoning, 2023-06, Vol.67 (2), p.14-14, Article 14 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Preface: Selected Extended Papers of CADE 2015Felty, Amy ; Middeldorp, AartJournal of automated reasoning, 2017-03, Vol.58 (3), p.311-312 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
AC-KBO revisitedYAMADA, AKIHISA ; WINKLER, SARAH ; HIROKAWA, NAO ; MIDDELDORP, AARTTheory and practice of logic programming, 2016-03, Vol.16 (2), p.163-188 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Labelings for Decreasing DiagramsZankl, Harald ; Felgenhauer, Bertram ; Middeldorp, AartJournal of automated reasoning, 2015-02, Vol.54 (2), p.101-133 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Multi-Completion with Termination ToolsWinkler, Sarah ; Sato, Haruhiko ; Middeldorp, Aart ; Kurihara, MasahitoJournal of automated reasoning, 2013-03, Vol.50 (3), p.317-354 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Uncurrying for Termination and ComplexityHirokawa, Nao ; Middeldorp, Aart ; Zankl, HaraldJournal of automated reasoning, 2013-03, Vol.50 (3), p.279-315 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Layer Systems for Proving ConfluenceFelgenhauer, Bertram ; Middeldorp, Aart ; Zankl, Harald ; Van Oostrom, VincentACM transactions on computational logic, 2015-03, Vol.16 (2), p.1-32 [Periódico revisado por pares]Texto completo disponível |