Salvador Lucas
Universitat Politècnica de València(ES)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Security and Verification in Computing, Natural Language Processing Techniques
Most-Cited Works
- Context-sensitive Computations in Functional and Functional Logic Programs.(1998)
- → Operational termination of conditional term rewriting systems(2005)75 cited
- → Proving operational termination of membership equational programs(2008)69 cited
- → Polynomials over the reals in proofs of termination : from theory to practice(2005)53 cited
- → Termination Modulo Combinations of Equational Theories(2009)50 cited
- → mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting(2004)48 cited
- → MTT: The Maude Termination Tool (System Description)(2008)46 cited