Beatriz Alarcón

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas
Context-sensitive dependency pairs. Inf. Comput. 208 (8) (2010)
Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset
Proving Termination Properties with mu-term. AMAST (2010)
Beatriz Alarcón, Salvador Lucas, José Meseguer
-Termination. WRLA (2010)
Beatriz Alarcón, Salvador Lucas
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting. Electron. Notes Theor. Comput. Sci. 248 (2009)
Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann
Improving Context-Sensitive Dependency Pairs. LPAR (2008)
Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas
Improving the Context-sensitive Dependency Graph. Electron. Notes Theor. Comput. Sci. 188 (2007)
Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas
Proving Termination of Context-Sensitive Rewriting with MU-TERM. Electron. Notes Theor. Comput. Sci. 188 (2007)
Beatriz Alarcón, Salvador Lucas
Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs. FroCoS (2007)
Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas
Context-Sensitive Dependency Pairs. FSTTCS (2006)