|
Search the dblp DataBase
Elias Tahhan-Bittar:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Yahia Rabih, Elias Tahhan-Bittar, Michel Schneider
Putting into Practice a Formal Method to Verify Properties of Active Rules Based on Rewriting Logic. [Citation Graph (0, 0)][DBLP] DEXA Workshop, 1997, pp:550-555 [Conf]
- Elias Tahhan-Bittar
Recursive Derivational Length Bounds for Confluent Term Rewrite Systems. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:281-295 [Conf]
- E. A. Cichon, Elias Tahhan-Bittar
Strictly orthogonal left linear rewrite systems and primitive recursion. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:79-101 [Journal]
- E. A. Cichon, Elias Tahhan-Bittar
Ordinal Recursive Bounds for Higman's Theorem. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:201, n:1-2, pp:63-84 [Journal]
Search in 0.001secs, Finished in 0.001secs
|