| |
| 2001 | ||
|---|---|---|
| 4 | Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet: Algorithms with polynomial interpretation termination proof. J. Funct. Program. 11(1): 33-53 (2001) | |
| 1998 | ||
| 3 | Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet: Complexity Classes and Rewrite Systems with Polynomial Interpretation. CSL 1998: 372-384 | |
| 1994 | ||
| 2 | Adam Cichon, Wilfried Buchholz, Andreas Weiermann: A Uniform Approach to Fundamental Sequences and Hierarchies. Math. Log. Q. 40: 273-286 (1994) | |
| 1992 | ||
| 1 | Adam Cichon, Pierre Lescanne: Polynomial Interpretations and the Complexity of Algorithms. CADE 1992: 139-147 | |
| 1 | Guillaume Bonfante | [3] [4] |
| 2 | Wilfried Buchholz | [2] |
| 3 | Pierre Lescanne | [1] |
| 4 | Jean-Yves Marion | [3] [4] |
| 5 | Hélène Touzet | [3] [4] |
| 6 | Andreas Weiermann | [2] |