Montserrat Hermo

Available identifiers

zbMath Open hermo.montserratMaRDI QIDQ287085

List of research outcomes

Publication	Date of Publication	Type
One-pass Context-based Tableaux Systems for CTL and ECTL	2023-11-02	Paper
Tableaux for realizability of safety specifications	2023-08-17	Paper
Exact Learning	2022-12-05	Paper
Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models	2022-11-16	Paper
Degrees and reducibilities of easy tally sets	2022-08-18	Paper
Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach	2022-05-28	Paper
Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\)	2020-04-21	Paper
Automatic white-box testing of first-order logic ontologies	2020-02-03	Paper
Exact learning of multivalued dependency formulas	2018-03-12	Paper
On the sparse set conjecture for sets with low density	2017-12-04	Paper
Exact Learning of Multivalued Dependencies	2016-11-30	Paper
Compressibility and uniform complexity	2016-05-26	Paper
Invariant-free clausal temporal resolution	2013-07-05	Paper
Negative results on learning multivalued dependencies with queries	2013-04-04	Paper
Translating propositional extended conjunctions of Horn clauses into Boolean circuits	2010-04-15	Paper
Dual systems of tableaux and sequents for PLTL	2009-11-04	Paper
A Cut-Free and Invariant-Free Sequent Calculus for PLTL	2009-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4955319	2000-07-24	Paper
The structure of logarithmic advice complexity classes	1999-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4348124	1997-09-22	Paper
A Note on polynomial-size circuits with low resource-bounded Kolmogorov complexity	1994-08-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Montserrat Hermo