| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Cutting a Proof into Bite-Sized Chunks: Incrementally proving termination in higher-order term rewriting (Invited Talk) | Kop, Cynthia | 2022 |
| 2 | Tuple Interpretations for Higher-Order Complexity | Kop, Cynthia et al. | 2021 |
| 3 | WANDA - a Higher Order Termination Tool (System Description) | Kop, Cynthia | 2020 |
| 4 | Polymorphic Higher-Order Termination | Czajka, Lukasz et al. | 2019 |
| 5 | Complexity Hierarchies and Higher-Order Cons-Free Rewriting | Kop, Cynthia et al. | 2016 |
| 6 | Conditional Complexity | Kop, Cynthia et al. | 2015 |
| 7 | Polynomial Interpretations for Higher-Order Rewriting | Fuhs, Carsten et al. | 2012 |
| 8 | Higher Order Dependency Pairs for Algebraic Functional Systems | Kop, Cynthia et al. | 2011 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 8 |