Statistics
Publications
2
Citations
24
H-Index
2
Active since
2008
Affiliations
University of the Basque Country(Current)
Jose Gaintzarain is an author at University of the Basque Country specializing in computer science, tableau algorithms, and theorem proving.
Publications per year
2008–2009
2
2
Dual Systems of Tableaux and Sequents for PLTL
Jose Gaintzarain, Montserrat Hermo, Paqui Lucio et al. · The Journal of Logic and Algebraic Programming · 2009 · 13 citations
Systematic Semantic Tableaux for PLTL
Jose Gaintzarain, Montserrat Hermo, Paqui Lucio et al. · Electronic Notes in Theoretical Computer Science · 2008 · 11 citations · Full text
1–2 of 2