|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Víctor Lavín Puente, Montserrat Hermo |
Negative results on learning multivalued dependencies with queries.  |
Inf. Process. Lett.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro |
Translating propositional extended conjunctions of Horn clauses into Boolean circuits.  |
Theor. Comput. Sci.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas |
Dual Systems of Tableaux and Sequents for PLTL.  |
J. Log. Algebr. Program.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikel Alecha, Montserrat Hermo |
A Learning Algorithm for Deterministic Finite Automata using JFLAP.  |
Electr. Notes Theor. Comput. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro |
Systematic Semantic Tableaux for PLTL.  |
Electr. Notes Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas |
A Cut-Free and Invariant-Free Sequent Calculus for PLTL.  |
CSL  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxe Gaintzarain, Montserrat Hermo, Marisa Navarro |
Goals in the Propositional Horn Language Are Monotone Boolean Circuits.  |
MFCS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Montserrat Hermo, Víctor Lavín |
Negative Results on Learning Dependencies with Queries.  |
ISAIM  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Montserrat Hermo, Víctor Lavín |
Negative Results on Learning Dependencies with Queries.  |
AMAI  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Montserrat Hermo, Víctor Lavín |
Learning Minimal Covers of Functional Dependencies with Queries.  |
ATL  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | José L. Balcázar, Montserrat Hermo |
The Structure of Logarithmic Advice Complexity Classes.  |
Theor. Comput. Sci.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Montserrat Hermo |
Compressibility and Uniform Complexity.  |
Inf. Process. Lett.  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Montserrat Hermo Huguet |
Nonuniform complexity classes with sub-linear advice functions.  |
|
1996 |
RDF |
|
| 1 | Harry Buhrman, Montserrat Hermo |
On the Sparse Set Conjecture for Sets with Low Denisty.  |
STACS  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | José L. Balcázar, Harry Buhrman, Montserrat Hermo |
Learnability of Kolmogorov-easy circuit expressions via queries.  |
EuroCOLT  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Montserrat Hermo, Elvira Mayordomo |
A Note on Polynomial-Size Circuits with Low Resource-Bounded Kolmogorov Complexity.  |
Mathematical Systems Theory  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Montserrat Hermo |
Degrees and Reducibilities of Easy Tally Sets.  |
MFCS  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | José L. Balcázar, Montserrat Hermo, Elvira Mayordomo |
Characterizations of Logarithmic Advice Complexity Classes.  |
IFIP Congress  |
1992 |
DBLP BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|