Edit Profile Lucio, Paqui Compute Distance To: Compute Author ID: lucio.paqui Published as: Lucio, P.; Lucio, Paqui Documents Indexed: 21 Publications since 1999, including 2 Books all top 5 Co-Authors 1 single-authored 7 Hermo, Montserrat 7 Orejas, Fernando 6 Álvez, Javier 5 Gaintzarain, Jose 5 Navarro, Marisa 3 Pino, Elvira 2 Pasarella, Edelmira 1 Bolotov, Alexander 1 Gaintzarain, Joxe 1 Leino, K. Rustan M. 1 Moreno, Ginés 1 Peña, Ricardo 1 Rigau, German all top 5 Serials 2 Theoretical Computer Science 2 ACM Transactions on Computational Logic 2 Electronic Notes in Theoretical Computer Science 1 The Journal of Logic Programming 1 Journal of Automated Reasoning 1 Journal of Logic and Computation 1 Applied Categorical Structures 1 The Journal of Logic and Algebraic Programming Fields 14 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 1 Category theory; homological algebra (18-XX) Publications by Year all cited Publications top 5 cited Publications 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.03008Lucio, Paqui 5 2000 A cut-free and invariant-free sequent calculus for PLTL. Zbl 1179.03056Gaintzarain, Joxe; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando 4 2007 Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando 3 2009 Systematic semantic tableaux for PLTL. Zbl 1278.03041Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M. 3 2007 An algebraic framework for the definition of compositional semantics of normal logic programs. Zbl 0933.68031Lucio, Paqui; Orejas, Fernando; Pino, Elvira 2 1999 A strong logic programming view for static embedded implications. Zbl 0948.68031Arruabarrena, R.; Lucio, P.; Navarro, M. 2 1999 An assertional proof of the stability and correctness of Natural Mergesort. Zbl 1367.68080Leino, K. Rustan M.; Lucio, Paqui 1 2015 Logical foundations for more expressive declarative temporal logic programming languages. Zbl 1353.68035Gaintzarain, Jose; Lucio, Paqui 1 2013 A functorial framework for constraint normal logic programming. Zbl 1132.68324Lucio, 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.68080Leino, K. Rustan M.; Lucio, Paqui 1 2015 Logical foundations for more expressive declarative temporal logic programming languages. Zbl 1353.68035Gaintzarain, Jose; Lucio, Paqui 1 2013 Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando 3 2009 A cut-free and invariant-free sequent calculus for PLTL. Zbl 1179.03056Gaintzarain, Joxe; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando 4 2007 Systematic semantic tableaux for PLTL. Zbl 1278.03041Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M. 3 2007 A functorial framework for constraint normal logic programming. Zbl 1132.68324Lucio, 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.03008Lucio, Paqui 5 2000 An algebraic framework for the definition of compositional semantics of normal logic programs. Zbl 0933.68031Lucio, Paqui; Orejas, Fernando; Pino, Elvira 2 1999 A strong logic programming view for static embedded implications. Zbl 0948.68031Arruabarrena, R.; Lucio, P.; Navarro, M. 2 1999 all cited Publications top 5 cited Publications all top 5 Cited by 26 Authors 5 Lucio, Paqui 4 Hermo, Montserrat 4 Navarro, Marisa 4 Orejas, Fernando 3 Gaintzarain, Jose 2 Pasarella, Edelmira 2 Pino, Elvira 1 Bolotov, Alexander 1 Brünnler, Kai 1 Comini, Marco 1 Condotta, Jean-François 1 de Dios Castro, Javier 1 Humberstone, Lloyd 1 Kurokawa, Hidenori 1 Lange, Martin 1 López-Fraguas, Francisco Javier 1 Mazure, Bertrand 1 Peña, Ricardo 1 Punčochář, Vít 1 Salhi, Yakoub 1 Sioutis, Michael 1 Studer, Thomas 1 Titolo, Laura 1 Triska, Jan 1 Villanueva, Alicia 1 Vychodil, Vilém all top 5 Cited in 9 Serials 3 The Journal of Logic and Algebraic Programming 2 Theoretical Computer Science 2 Journal of Automated Reasoning 1 Studia Logica 1 Annals of Pure and Applied Logic 1 Journal of Logic, Language and Information 1 Applied Categorical Structures 1 Annals of Mathematics and Artificial Intelligence 1 Theory and Practice of Logic Programming Cited in 3 Fields 10 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 1 Category theory; homological algebra (18-XX) Citations by Year