Jalel Mzali

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1989

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

[BibT_eX]

[DOI]

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

1986

Matching with Distributivity.

[BibT_eX]

[DOI]

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