E. A. Cichon

According to our database, E. A. Cichon authored at least 6 papers between 1983 and 2001.

Collaborative distances:

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

2001

Strictly orthogonal left linear rewrite systems and primitive recursion.

E. A. Cichon, Elias Tahhan-Bittar

Ann. Pure Appl. Log., 2001

2000

The Light Lexicographic path Ordering

E. A. Cichon, Jean-Yves Marion

CoRR, 2000

1998

Ordinal Recursive Bounds for Higman's Theorem.

E. A. Cichon, Elias Tahhan-Bittar

Theor. Comput. Sci., 1998

1997

Term Rewriting Theory for the Primitive Recursive Functions.

E. A. Cichon, Andreas Weiermann

Ann. Pure Appl. Log., 1997

1996

An Ordinal Calculus for Proving Termination in Term Rewriting.

E. A. Cichon, Hélène Touzet

Proceedings of the Trees in Algebra and Programming, 1996

1983

The Slow-Growing and the Grzecorczyk Hierarchies.

E. A. Cichon, Stanley S. Wainer

J. Symb. Log., 1983