E. A. Cichon

Publication Activity (10 Years)

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

Publications

E. A. Cichon, Elias Tahhan-Bittar
Strictly orthogonal left linear rewrite systems and primitive recursion. Ann. Pure Appl. Log. 108 (1-3) (2001)
E. A. Cichon, Jean-Yves Marion
The Light Lexicographic path Ordering CoRR (2000)
E. A. Cichon, Elias Tahhan-Bittar
Ordinal Recursive Bounds for Higman's Theorem. Theor. Comput. Sci. 201 (1-2) (1998)
E. A. Cichon, Andreas Weiermann
Term Rewriting Theory for the Primitive Recursive Functions. Ann. Pure Appl. Log. 83 (3) (1997)
E. A. Cichon, Hélène Touzet
An Ordinal Calculus for Proving Termination in Term Rewriting. CAAP (1996)
E. A. Cichon, Stanley S. Wainer
The Slow-Growing and the Grzecorczyk Hierarchies. J. Symb. Log. 48 (2) (1983)