Salvador Lucas Alba

Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting

Raúl Gutiérrez Gil, Salvador Lucas Alba, 2015 .

Using Matrix interpretations over the reals in proofs of termination

Salvador Lucas Alba, Beatriz Alarcón Jiménez, Rafael Navarro Marset, 2009 .

Mechanizing proofs of termination in the context-sensitive dependency pairs framework

Raúl Gutiérrez Gil, Salvador Lucas Alba, R. G. Gil, 2009 .

Automatic proofs of termination with elementary interpretations

Salvador Lucas Alba, 2009 .

Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving

Salvador Lucas Alba, 2015 .

Towards an Incremental and Modular Termination Analysis of Context-Sensitive Rewriting Systems (Work in Progress)

Salvador Lucas Alba, R. G. Gil, 2014 .