Salvador Lucas

Context-sensitive Computations in Functional and Functional Logic Programs.

Salvador Lucas · 1998 · 128 citations

Computing, Computer Engineering, Computer Science +14

Operational termination of conditional term rewriting systems

Salvador Lucas, Claude Marché, José Meseguer · Information Processing Letters · 2005 · 75 citations

Computing, Computer Science, Formal Methods +6

Proving operational termination of membership equational programs

Francisco Durán, Salvador Lucas, Claude Marché et al. · LISP and Symbolic Computation · 2008 · 69 citations · Full text

Computing, Computer Science, Mathematics +11

Polynomials over the reals in proofs of termination : from theory to practice

Salvador Lucas · RAIRO - Theoretical Informatics and Applications · 2005 · 54 citations · Full text

Computing, Computer Science, Algebra +12

SAT Modulo Linear Arithmetic for Solving Polynomial Constraints

Cristina Borralleras, Salvador Lucas, Albert Oliveras et al. · Journal of Automated Reasoning · 2010 · 45 citations · Full text

Computing, Computer Science, Mathematics +8