×

zbMATH — the first resource for mathematics

Lucio, Paqui

Compute Distance To:
Author ID: lucio.paqui Recent zbMATH articles by "Lucio, Paqui"
Published as: Lucio, P.; Lucio, Paqui
Documents Indexed: 21 Publications since 1999, including 2 Books

Publications by Year

Citations contained in zbMATH

10 Publications have been cited 23 times in 16 Documents Cited by Year
Structured sequent calculi for combining intuitionistic and classical first-order logic. Zbl 0961.03008
Lucio, Paqui
5
2000
A cut-free and invariant-free sequent calculus for PLTL. Zbl 1179.03056
Gaintzarain, Joxe; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
4
2007
Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
3
2009
Systematic semantic tableaux for PLTL. Zbl 1278.03041
Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M.
3
2007
An algebraic framework for the definition of compositional semantics of normal logic programs. Zbl 0933.68031
Lucio, Paqui; Orejas, Fernando; Pino, Elvira
2
1999
A strong logic programming view for static embedded implications. Zbl 0948.68031
Arruabarrena, R.; Lucio, P.; Navarro, M.
2
1999
An assertional proof of the stability and correctness of Natural Mergesort. Zbl 1367.68080
Leino, K. Rustan M.; Lucio, Paqui
1
2015
Logical foundations for more expressive declarative temporal logic programming languages. Zbl 1353.68035
Gaintzarain, Jose; Lucio, Paqui
1
2013
A functorial framework for constraint normal logic programming. Zbl 1132.68324
Lucio, Paqui; Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira
1
2006
Elimination of local variables from definite logic programs. Zbl 1272.68074
Álvez, Javier; Lucio, Paqui
1
2005
An assertional proof of the stability and correctness of Natural Mergesort. Zbl 1367.68080
Leino, K. Rustan M.; Lucio, Paqui
1
2015
Logical foundations for more expressive declarative temporal logic programming languages. Zbl 1353.68035
Gaintzarain, Jose; Lucio, Paqui
1
2013
Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
3
2009
A cut-free and invariant-free sequent calculus for PLTL. Zbl 1179.03056
Gaintzarain, Joxe; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
4
2007
Systematic semantic tableaux for PLTL. Zbl 1278.03041
Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M.
3
2007
A functorial framework for constraint normal logic programming. Zbl 1132.68324
Lucio, Paqui; Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira
1
2006
Elimination of local variables from definite logic programs. Zbl 1272.68074
Álvez, Javier; Lucio, Paqui
1
2005
Structured sequent calculi for combining intuitionistic and classical first-order logic. Zbl 0961.03008
Lucio, Paqui
5
2000
An algebraic framework for the definition of compositional semantics of normal logic programs. Zbl 0933.68031
Lucio, Paqui; Orejas, Fernando; Pino, Elvira
2
1999
A strong logic programming view for static embedded implications. Zbl 0948.68031
Arruabarrena, R.; Lucio, P.; Navarro, M.
2
1999

Citations by Year