Salvador Lucas

Salvador Lucas

Universitat Politècnica de València - Valencia / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 4340511
Polytechnic University of Valencia
person_outline Salvador Lucas's MOST POPULAR ARTICLES
1-) Context-sensitive computations in functional and functional logic programsS LucasJournal of Functional and Logic Programming 1 (1998), 1-61, 19981941998
2-) Context-sensitive rewriting strategiesS LucasInformation and Computation 178 (1), 294-343, 20021312002
3-) Operational termination of conditional term rewriting systemsS Lucas, C Marché, J MeseguerInformation Processing Letters 95 (4), 446-453, 20051062005
4-) Proving operational termination of membership equational programsF Durán, S Lucas, C Marché, J Meseguer, X UrbainHigher-Order and Symbolic Computation 21 (1), 59-88, 20081012008
5-) Polynomials over the reals in proofs of termination: from theory to practiceS LucasRAIRO-Theoretical Informatics and Applications 39 (3), 547-586, 2005942005