|
 
|
Claude Marché
Publications
2008
- [DLM08] F. Duran, S. Lucas, J. Meseguer, C. Marché, X. Urbain. "Proving Operational Termination of Membership Equational Programs", Higher Order and Symbolic Computation, vol. 21(1), pp. 59-88, 2008
Revue Internationale avec comité de lecture
2005
- [CMP05] E. Contejean, C. Marché, A. Paula Tomas, X. Urbain. "Mechanically proving termination using polynomial interpretations", JAR, Journal of Automated Reasoning, vol. 34(4), pp. 325-363, 2005
