| |
| * | 2008 | |
|---|---|---|
| 3 | EE | Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro: Systematic Semantic Tableaux for PLTL. Electr. Notes Theor. Comput. Sci. 206: 59-73 (2008) |
| 2007 | ||
| 2 | EE | Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: A Cut-Free and Invariant-Free Sequent Calculus for PLTL. CSL 2007: 481-495 |
| 2005 | ||
| 1 | EE | Joxe Gaintzarain, Montserrat Hermo, Marisa Navarro: Goals in the Propositional Horn Language Are Monotone Boolean Circuits. MFCS 2005: 376-386 |
| 1 | Montserrat Hermo | [1] [2] [3] |
| 2 | Paqui Lucio | [2] [3] |
| 3 | Marisa Navarro | [1] [2] [3] |
| 4 | Fernando Orejas | [2] |