Paqui Lucio
发表
Fernando Orejas,
Elvira Pino,
Paqui Lucio,
1999,
J. Log. Program..
Marisa Navarro,
Paqui Lucio,
R. Arruabarrena,
1999,
FoSSaCS.
Javier Álvez,
German Rigau,
Paqui Lucio,
2015,
K-CAP.
Edelmira Pasarella,
Fernando Orejas,
Elvira Pino,
2008,
Appl. Categorical Struct..
Javier Álvez,
Paqui Lucio,
2005,
LOPSTR.
Fernando Orejas,
Marisa Navarro,
Paqui Lucio,
2011,
Journal of Automated Reasoning.
Javier Álvez,
Paqui Lucio,
J. Álvez,
2006,
FoIKS.
Javier Álvez,
Paqui Lucio,
2008,
Electron. Notes Theor. Comput. Sci..
Edelmira Pasarella,
Fernando Orejas,
Elvira Pino,
2008,
Appl. Categorical Struct..
Paqui Lucio,
P. Lucio,
2017,
PROLE.
Javier Álvez,
Paqui Lucio,
J. Álvez,
2008,
FLOPS.
Javier Álvez,
German Rigau,
Paqui Lucio,
2019,
IEEE Access.
Paqui Lucio,
Joxe Gaintzarain,
P. Lucio,
2013,
TOCL.
Christiane Fellbaum,
Javier Álvez,
Montserrat Hermo,
2010
.
Fernando Orejas,
Elvira Pino,
Paqui Lucio,
1997,
APPIA-GULP-PRODE.
Javier Álvez,
German Rigau,
Paqui Lucio,
2016,
Vampire@IJCAR.
Paqui Lucio,
P. Lucio,
2000,
FroCoS.
Fernando Orejas,
Paqui Lucio,
2007,
Electron. Notes Theor. Comput. Sci..
Marisa Navarro,
Paqui Lucio,
Montserrat Hermo,
2010,
Theor. Comput. Sci..
Javier Álvez,
German Rigau,
Paqui Lucio,
2017,
J. Log. Comput..
Ginés Moreno,
Ricardo Peña-Marí,
Paqui Lucio,
2009,
Electron. Notes Theor. Comput. Sci..
Montserrat Hermo,
Alexander Bolotov,
Paqui Lucio,
2020,
TIME.
Montserrat Hermo,
Alexander Bolotov,
Paqui Lucio,
2019,
TIME.
Maurizio Martelli,
Marisa Navarro,
Paqui Lucio,
1996,
APPIA-GULP-PRODE.
Fernando Orejas,
Marisa Navarro,
Paqui Lucio,
2007,
CSL.
Marisa Navarro,
Paqui Lucio,
Montserrat Hermo,
2008,
Electron. Notes Theor. Comput. Sci..
Fernando Orejas,
Marisa Navarro,
Paqui Lucio,
2009,
J. Log. Algebraic Methods Program..
Javier Álvez,
German Rigau,
Paqui Lucio,
2015,
K-CAP.
Montserrat Hermo,
Alexander Bolotov,
Paqui Lucio,
2020,
Theor. Comput. Sci..
Javier Álvez,
Paqui Lucio,
2005,
Electron. Notes Theor. Comput. Sci..
Javier Álvez,
Fernando Orejas,
Paqui Lucio,
2004,
SAC '04.
Javier Álvez,
German Rigau,
Paqui Lucio,
2012,
Int. J. Semantic Web Inf. Syst..
K. Rustan M. Leino,
Paqui Lucio,
K. Leino,
2015,
ACM Trans. Comput. Log..
Javier Álvez,
German Rigau,
Paqui Lucio,
2017,
ArXiv.
Alexander Bolotov,
Paqui Lucio,
Montserrat Hermo,
2018,
TIME.
Paqui Lucio,
Montserrat Hermo,
Unai Díaz-de-Cerio,
2021,
SN Comput. Sci..