| |
| 2002 | ||
|---|---|---|
| 4 | EE | Elias Tahhan-Bittar: Recursive Derivational Length Bounds for Confluent Term Rewrite Systems. RTA 2002: 281-295 |
| 2001 | ||
| 3 | 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) | |
| 1998 | ||
| 2 | EE | E. A. Cichon, Elias Tahhan-Bittar: Ordinal Recursive Bounds for Higman's Theorem. Theor. Comput. Sci. 201(1-2): 63-84 (1998) |
| 1997 | ||
| 1 | Yahia Rabih, Elias Tahhan-Bittar, Michel Schneider: Putting into Practice a Formal Method to Verify Properties of Active Rules Based on Rewriting Logic. DEXA Workshop 1997: 550-555 | |
| 1 | E. A. Cichon | [2] [3] |
| 2 | Yahia Rabih | [1] |
| 3 | Michel Schneider | [1] |