×

zbMATH — the first resource for mathematics

Hermo, Montserrat

Compute Distance To:
Author ID: hermo.montserrat Recent zbMATH articles by "Hermo, Montserrat"
Published as: Hermo, M.; Hermo, Montserrat
External Links: ORCID
Documents Indexed: 17 Publications since 1994

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 45 times in 38 Documents Cited by Year
A note on polynomial-size circuits with low resource-bounded Kolmogorov complexity. Zbl 0830.68071
Hermo, Montserrat; Mayordomo, Elvira
13
1994
Learning minimal covers of functional dependencies with queries. Zbl 0955.68040
Hermo, Montserrat; Lavín, Víctor
6
1999
The structure of logarithmic advice complexity classes. Zbl 0912.68045
Balcázar, José L.; Hermo, Montserrat
6
1998
A cut-free and invariant-free sequent calculus for PLTL. Zbl 1179.03056
Gaintzarain, Joxe; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
5
2007
Negative results on learning multivalued dependencies with queries. Zbl 1260.68191
Puente, Víctor Lavín; Hermo, Montserrat
4
2011
Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
3
2009
Systematic semantic tableaux for PLTL. Zbl 1278.03041
Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M.
3
2007
Goals in the propositional Horn\(^\supset\) language are monotone Boolean circuits. Zbl 1156.68326
Gaintzarain, J.; Hermo, M.; Navarro, M.
2
2005
Compressibility of infinite binary sequences. Zbl 0874.03049
Balcázar, José L.; Gavaldà, Ricard; Hermo, Montserrat
2
1997
On the sparse set conjecture for sets with low density. Zbl 1379.68136
Buhrman, Harry; Hermo, Montserrat
1
1995
Negative results on learning multivalued dependencies with queries. Zbl 1260.68191
Puente, Víctor Lavín; Hermo, Montserrat
4
2011
Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
3
2009
A cut-free and invariant-free sequent calculus for PLTL. Zbl 1179.03056
Gaintzarain, Joxe; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
5
2007
Systematic semantic tableaux for PLTL. Zbl 1278.03041
Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M.
3
2007
Goals in the propositional Horn\(^\supset\) language are monotone Boolean circuits. Zbl 1156.68326
Gaintzarain, J.; Hermo, M.; Navarro, M.
2
2005
Learning minimal covers of functional dependencies with queries. Zbl 0955.68040
Hermo, Montserrat; Lavín, Víctor
6
1999
The structure of logarithmic advice complexity classes. Zbl 0912.68045
Balcázar, José L.; Hermo, Montserrat
6
1998
Compressibility of infinite binary sequences. Zbl 0874.03049
Balcázar, José L.; Gavaldà, Ricard; Hermo, Montserrat
2
1997
On the sparse set conjecture for sets with low density. Zbl 1379.68136
Buhrman, Harry; Hermo, Montserrat
1
1995
A note on polynomial-size circuits with low resource-bounded Kolmogorov complexity. Zbl 0830.68071
Hermo, Montserrat; Mayordomo, Elvira
13
1994

Citations by Year