Montserrat Hermo
Computer Systems and Languages
Universidad del PaÃs Vasco
Spain
Biography
Montserrat Hermo is Professor from Department of Computer Languages and Systems in University of the Basque Country. Hermo is profound in Programming Languages
Research Interest
Programming Languages, Theoretical Computer Science, Algorithm Analysis, Formal Verification, Computational Complexity Theory, Automata Theory, Functional Programming, Logical Reasoning, Logic Programming
Publications
-
Goals in the Propositional Horn ⊃  Language Are Monotone Boolean Circuits
