Joxe Gaintzarain

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro
Translating propositional extended conjunctions of Horn clauses into Boolean circuits. Theor. Comput. Sci. 411 (16-18) (2010)
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
Dual Systems of Tableaux and Sequents for PLTL. J. Log. Algebraic Methods Program. 78 (8) (2009)
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro
Systematic Semantic Tableaux for PLTL. Electron. Notes Theor. Comput. Sci. 206 (2008)
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
A Cut-Free and Invariant-Free Sequent Calculus for PLTL. CSL (2007)
Joxe Gaintzarain, Montserrat Hermo, Marisa Navarro
Goals in the Propositional Horn Language Are Monotone Boolean Circuits. MFCS (2005)