Login / Signup
Jalel Mzali
Publication Activity (10 Years)
Years Active: 1986-1989
Publications (10 Years): 0
</>
Publications
</>
Siva Anantharaman
,
Jieh Hsiang
,
Jalel Mzali
SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.
RTA
(1989)
Jalel Mzali
Matching with Distributivity.
CADE
(1986)