Concepedia

Ahlem Ben Cherifa

AB

1

Publications

153

Citations

1

H-Index

1987

Active since

Affiliations

Centre de Recherche en Informatique(Current)

Ahlem Ben Cherifa is an author at Centre de Recherche en Informatique specializing in formal verification, formal specification, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationFormal SpecificationComputational Complexity

Publications per year

1987–1987

1

Publications

1

Termination of rewriting systems by polynomial interpretations and its implementation

Ahlem Ben Cherifa, Pierre Lescanne · Science of Computer Programming · 1987 · 153 citations

Polynomial Interpretations, Formal Specification, Engineering +10

Rows per page

1–1 of 1