Statistics
Publications
4
Citations
54
H-Index
4
Active since
1992
Affiliations
Montserrat Hermo is an author at University of the Basque Country specializing in computer science, computing, and mathematics.
Publications per year
1992–2009
4
4
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–4 of 4