| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page