Travelled to:1 × USA
Collaborated with:∅ S.Anantharaman J.Hsiang
Talks about:laboratori (1) distribut (1) complet (1) unfail (1) rewrit (1) match (1) term (1) reve (1)
Person: Jalel Mzali
DBLP: Mzali:Jalel
Contributed to:
1989
1986Wrote 2 papers:
- RTA-1989-AnantharamanHM #named #term rewriting
- SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion (SA, JH, JM), pp. 533–537.
- CADE-1986-Mzali
- Matching with Distributivity (JM), pp. 496–505.