PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hermo, Montserrat"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic White-Box Testing of First-Order Logic Ontologies.

, , , and . CoRR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Hermo, Montserrat
add a person with the name Hermo, Montserrat
 

Other publications of authors with the same name

Translating propositional extended conjunctions of Horn clauses into Boolean circuits., , , and . Theor. Comput. Sci., 411 (16-18): 1723-1733 (2010)Learning Minimal Covers of Functional Dependencies with Queries., and . ALT, volume 1720 of Lecture Notes in Computer Science, page 291-300. Springer, (1999)Automatic White-Box Testing of First-Order Logic Ontologies., , , and . CoRR, (2017)Negative results on learning multivalued dependencies with queries., and . Inf. Process. Lett., 111 (19): 968-972 (2011)The Structure of Logarithmic Advice Complexity Classes., and . Theor. Comput. Sci., 207 (1): 217-244 (1998)Learnability of Kolmogorov-easy circuit expressions via queries., , and . EuroCOLT, volume 904 of Lecture Notes in Computer Science, page 112-124. Springer, (1995)Systematic Semantic Tableaux for PLTL., , , and . Electron. Notes Theor. Comput. Sci., (2008)Compressibility and Uniform Complexity.. Inf. Process. Lett., 62 (5): 259-264 (1997)New Steps on the Exact Learning of CNF., and . CoRR, (2016)A Note on Polynomial-Size Circuits with Low Resource-Bounded Kolmogorov Complexity., and . Mathematical Systems Theory, 27 (4): 347-356 (1994)