Beatriz Alarcón

According to our database, Beatriz Alarcón authored at least 8 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Context-sensitive dependency pairs.

Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas

Inf. Comput., 2010

A Dependency Pair Framework for <i>A</i> OR <i>C</i>-Termination.

Beatriz Alarcón, Salvador Lucas, José Meseguer

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Proving Termination Properties with mu-term.

Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset

Proceedings of the Algebraic Methodology and Software Technology, 2010

2008

Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting.

Beatriz Alarcón, Salvador Lucas

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Improving Context-Sensitive Dependency Pairs.

Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann

Proceedings of the Logic for Programming, 2008

2007

Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs.

Beatriz Alarcón, Salvador Lucas

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2006

Improving the Context-sensitive Dependency Graph.

Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

Proving Termination of Context-Sensitive Rewriting with MU-TERM.

Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006