P. Lucio
发表
Javier Álvez,
German Rigau,
Paqui Lucio,
2017,
J. Log. Comput..
F. Orejas,
J. Álvez,
P. Lucio,
2022
.
J. Álvez,
P. Lucio,
2010
.
P. Lucio,
J. Gaintzarain,
2022
.
Christiane Fellbaum,
Javier Álvez,
Montserrat Hermo,
2010
.
P. Lucio,
A. Bolotov,
Jose Gaintzarain,
2010
.
Montserrat Hermo,
P. Lucio,
C. S'anchez,
2022,
ArXiv.
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models
Montserrat Hermo,
P. Lucio,
A. Bolotov,
2022,
J. Log. Algebraic Methods Program..
Javier Álvez,
German Rigau,
Paqui Lucio,
2012,
Int. J. Semantic Web Inf. Syst..
Javier Álvez,
German Rigau,
Paqui Lucio,
2019,
IEEE Access.
Javier Álvez,
German Rigau,
Paqui Lucio,
2017,
ArXiv.
K. Rustan M. Leino,
Paqui Lucio,
K. Leino,
2015,
ACM Trans. Comput. Log..
Fernando Orejas,
Marisa Navarro,
Paqui Lucio,
2011,
Journal of Automated Reasoning.
Edelmira Pasarella,
Fernando Orejas,
Elvira Pino,
2008,
Appl. Categorical Struct..
Javier Álvez,
Paqui Lucio,
J. Álvez,
2008,
FLOPS.
Montserrat Hermo,
Alexander Bolotov,
Paqui Lucio,
2019,
TIME.
Javier Álvez,
German Rigau,
Paqui Lucio,
2015,
K-CAP.
Javier Álvez,
German Rigau,
Paqui Lucio,
2015,
K-CAP.
Javier Álvez,
Paqui Lucio,
J. Álvez,
2006,
FoIKS.
Paqui Lucio,
Joxe Gaintzarain,
P. Lucio,
2013,
TOCL.
Fernando Orejas,
Elvira Pino,
Paqui Lucio,
1997,
APPIA-GULP-PRODE.
Fernando Orejas,
Elvira Pino,
Paqui Lucio,
1999,
J. Log. Program..
Javier Álvez,
Fernando Orejas,
Paqui Lucio,
2004,
SAC '04.
Montserrat Hermo,
Alexander Bolotov,
Paqui Lucio,
2020,
Theor. Comput. Sci..
Montserrat Hermo,
Alexander Bolotov,
Paqui Lucio,
2020,
TIME.
Alexander Bolotov,
Paqui Lucio,
Montserrat Hermo,
2018,
TIME.
F. Orejas,
Montserrat Hermo,
P. Lucio,
2002
.
Paqui Lucio,
P. Lucio,
2000,
FroCoS.
Paqui Lucio,
P. Lucio,
2017,
PROLE.
Marisa Navarro,
Paqui Lucio,
R. Arruabarrena,
1999,
FoSSaCS.