Ahlem Ben Cherifa

According to our database, Ahlem Ben Cherifa authored at least 2 papers between 1986 and 1987.

Collaborative distances:

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

1987

Termination of Rewriting Systems by Polynomial Interpretations and Its Implementation.

Ahlem Ben Cherifa, Pierre Lescanne

Sci. Comput. Program., 1987

1986

An Actual Implementation of a Procedure That Mechanically Proves Termination of Rewriting Systems Based on Inequalities Between Polynomial Interpretations.

Ahlem Ben Cherifa, Pierre Lescanne

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