Ahlem Ben Cherifa (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2		Ahlem Ben Cherifa, Pierre Lescanne: Termination of Rewriting Systems by Polynomial Interpretations and Its Implementation. Sci. Comput. Program. 9(2): 137-159 (1987)
1		Ahlem Ben Cherifa, Pierre Lescanne: An Actual Implementation of a Procedure That Mechanically Proves Termination of Rewriting Systems Based on Inequalities Between Polynomial Interpretations. CADE 1986: 42-51

Selection of 2 from 2 records - Ahlem Ben Cherifa has 1 coauthors