Raúl Gutiérrez
发表
José Meseguer,
Raúl Gutiérrez,
J. Meseguer,
2017,
LOPSTR.
Salvador Lucas,
Raúl Gutiérrez,
Salvador Lucas,
2020,
IJCAR.
José Meseguer,
Raúl Gutiérrez,
Camilo Rocha,
2012,
Sci. Comput. Program..
Raúl Gutiérrez,
Elvira Albert,
Samir Genaim,
2019,
Theory and Practice of Logic Programming.
Raúl Gutiérrez,
Salvador Lucas,
Salvador Lucas,
2018,
Journal of Automated Reasoning.
J. Meseguer,
Raúl Gutiérrez,
S. Lucas,
2020,
Journal of Automated Reasoning.
Raúl Gutiérrez,
Salvador Lucas,
Miguel Vítores,
2021,
FSTTCS.
Raúl Gutiérrez,
Salvador Lucas,
Salvador Lucas,
2010,
WRLA.
Raúl Gutiérrez,
Salvador Lucas,
Xavier Urbain,
2008,
RTA.
Raúl Gutiérrez,
Salvador Lucas,
José Iborra,
2007,
PROLE.
Raúl Gutiérrez,
Salvador Lucas,
Beatriz Alarcón,
2007,
PROLE.
Raúl Gutiérrez,
Salvador Lucas,
Beatriz Alarcón,
2006,
Inf. Comput..
Salvador Lucas,
Raúl Gutiérrez,
Beatriz Alarcón,
2006
.
José Meseguer,
Raúl Gutiérrez,
Salvador Lucas,
2018,
J. Comput. Syst. Sci..
Raúl Gutiérrez,
Salvador Lucas,
Salvador Lucas,
2018,
Inf. Process. Lett..
Salvador Lucas,
Rafael Navarro-Marset,
Beatriz Alarcón,
2010,
AMAST.
Salvador Lucas,
Raúl Gutiérrez,
Salvador Lucas,
2019,
CADE.