E. A. Cichon

	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		E. A. Cichon, Jean-Yves Marion: The Light Lexicographic path Ordering CoRR cs.PL/0010008: (2000)
	1998
4		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

1	Jean-Yves Marion	[5]
2	Elias Tahhan-Bittar	[4] [6]
3	Hélène Touzet	[2]
4	Stanley S. Wainer	[1]
5	Andreas Weiermann	[3]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page