| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 7 |      | Carsten Fuhs, Cynthia Kop: Polynomial Interpretations for Higher-Order Rewriting. RTA 2012: 176-192 |
| 6 | | Carsten Fuhs, Cynthia Kop: Polynomial Interpretations for Higher-Order Rewriting CoRR abs/1203.5754: (2012) |
| 5 | | Cynthia Kop, Femke van Raamsdonk: Dynamic Dependency Pairs for Algebraic Functional Systems CoRR abs/1205.2519: (2012) |
| 2011 | ||
| 4 | | Cynthia Kop: Simplifying Algebraic Functional Systems. CAI 2011: 201-215 |
| 3 | | Carsten Fuhs, Cynthia Kop: Harnessing First Order Termination Provers Using Higher Order Dependency Pairs. FroCos 2011: 147-162 |
| 2 | | Cynthia Kop, Femke van Raamsdonk: Higher Order Dependency Pairs for Algebraic Functional Systems. RTA 2011: 203-218 |
| 2008 | ||
| 1 | | Cynthia Kop, Femke van Raamsdonk: A Higher-Order Iterative Path Ordering. LPAR 2008: 697-711 |
| 1 | Carsten Fuhs | [3] [6] [7] |
| 2 | Femke van Raamsdonk | [1] [2] [5] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page