E. A. Cichon

List of publications from the DBLP Bibliography Server - FAQ

2001

6 E. A. Cichon, Elias Tahhan-Bittar: Strictly orthogonal left linear rewrite systems and primitive recursion. Ann. Pure Appl. Logic 108(1-3): 79-101 (2001)

2000

5 EE E. A. Cichon, Jean-Yves Marion: The Light Lexicographic path Ordering CoRR cs.PL/0010008: (2000)

1998

4 EE E. A. Cichon, Elias Tahhan-Bittar: Ordinal Recursive Bounds for Higman's Theorem. Theor. Comput. Sci. 201(1-2): 63-84 (1998)

1997

3 E. A. Cichon, Andreas Weiermann: Term Rewriting Theory for the Primitive Recursive Functions. Ann. Pure Appl. Logic 83(3): 199-223 (1997)

1996

2 E. A. Cichon, Hélène Touzet: An Ordinal Calculus for Proving Termination in Term Rewriting. CAAP 1996: 226-240

1983

1 E. A. Cichon, Stanley S. Wainer: The Slow-Growing and the Grzecorczyk Hierarchies. J. Symb. Log. 48(2): 399-408 (1983)

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

Coauthor Index