| No. |
Title |
Author |
Year |
| 1 |
Certifying Higher-Order Polynomial Interpretations |
van der Weide, Niels et al. |
2023 |
| 2 |
Cost-Size Semantics for Call-By-Value Higher-Order Rewriting |
Kop, Cynthia et al. |
2023 |
| 3 |
Cutting a Proof into Bite-Sized Chunks: Incrementally proving termination in higher-order term rewriting (Invited Talk) |
Kop, Cynthia |
2022 |
| 4 |
Tuple Interpretations for Higher-Order Complexity |
Kop, Cynthia et al. |
2021 |
| 5 |
WANDA - a Higher Order Termination Tool (System Description) |
Kop, Cynthia |
2020 |
| 6 |
Polymorphic Higher-Order Termination |
Czajka, Lukasz et al. |
2019 |
| 7 |
Complexity Hierarchies and Higher-Order Cons-Free Rewriting |
Kop, Cynthia et al. |
2016 |
| 8 |
Conditional Complexity |
Kop, Cynthia et al. |
2015 |
| 9 |
Polynomial Interpretations for Higher-Order Rewriting |
Fuhs, Carsten et al. |
2012 |
| 10 |
Higher Order Dependency Pairs for Algebraic Functional Systems |
Kop, Cynthia et al. |
2011 |
