|
 
|
Salvador Lucas
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
- [GLU08] R. Gutiérrez, S. Lucas, X. Urbain. "Usable Rules for Context-Sensitive Rewriting", 19th Int. Conf. on Rewriting Techniques and Applications, Linz, Autriche, January 2008, Vol. 5117, pp.126-141, Series LNCS,
Revue Internationale avec comité de lecture
Conférence Internationale avec comité de lecture
2007
- [GLU07] R. Gutiérrez, S. Lucas, X. Urbain. "Towards a notion of Usable Rule for Context-Sensitive Rewrite Systems", PROLE'07, E. Pimentel ed., Proceedings of 7th Spanish Conference on Programming and Computer Languages, Saragosse, Espagne, January 2007, pp.243--252,
