Elias Tahhan-Bittar

Publication Activity (10 Years)

Years Active: 1997-2020
Publications (10 Years): 1

Top Topics

Multiresolution

Top Venues

CLEI Selected Papers

Publications

Federico Flaviani, Elias Tahhan-Bittar
Criteria for Bracket Abstractions Design. CLEI Selected Papers (2020)
Elias Tahhan-Bittar
Recursive Derivational Length Bounds for Confluent Term Rewrite Systems. RTA (2002)
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, Elias Tahhan-Bittar
Ordinal Recursive Bounds for Higman's Theorem. Theor. Comput. Sci. 201 (1-2) (1998)
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)