Adam Cichon

According to our database, Adam Cichon authored at least 4 papers between 1992 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Algorithms with polynomial interpretation termination proof.

Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet

J. Funct. Program., 2001

1998

Complexity Classes and Rewrite Systems with Polynomial Interpretation.

Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet

Proceedings of the Computer Science Logic, 12th International Workshop, 1998

1994

A Uniform Approach to Fundamental Sequences and Hierarchies.

Adam Cichon, Wilfried Buchholz, Andreas Weiermann

Math. Log. Q., 1994

1992

Polynomial Interpretations and the Complexity of Algorithms.

Adam Cichon, Pierre Lescanne

Proceedings of the Automated Deduction, 1992