Jalel Mzali

According to our database, Jalel Mzali authored at least 2 papers between 1986 and 1989.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

1989

SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.

Siva Anantharaman, Jieh Hsiang, Jalel Mzali

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1986

Matching with Distributivity.

Jalel Mzali

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986