dblp.uni-trier.dewww.uni-trier.de

Joxe Gaintzarain

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Montserrat Hermo [1] [2] [3]
2Paqui Lucio [2] [3]
3Marisa Navarro [1] [2] [3]
4Fernando Orejas [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)