Collaborated with:
P.Lescanne
Talks about:
interpret (1) implement (1) procedur (1) polynomi (1) between (1) termin (1) system (1) rewrit (1) mechan (1) actual (1)
Person: Ahlem Ben Cherifa
DBLP: Cherifa:Ahlem_Ben
Contributed to:
Wrote 1 papers:
- CADE-1986-CherifaL #implementation #polynomial #term rewriting #termination
- An Actual Implementation of a Procedure That Mechanically Proves Termination of Rewriting Systems Based on Inequalities Between Polynomial Interpretations (ABC, PL), pp. 42–51.