Adam Cichon

Publication Activity (10 Years)

Years Active: 1992-2001
Publications (10 Years): 0

Publications

Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet
Algorithms with polynomial interpretation termination proof. J. Funct. Program. 11 (1) (2001)
Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet
Complexity Classes and Rewrite Systems with Polynomial Interpretation. CSL (1998)
Adam Cichon, Wilfried Buchholz, Andreas Weiermann
A Uniform Approach to Fundamental Sequences and Hierarchies. Math. Log. Q. 40 (1994)
Adam Cichon, Pierre Lescanne
Polynomial Interpretations and the Complexity of Algorithms. CADE (1992)