The following pages link to M. Hermo (Q287085):
Displaying 25 items.
- Compressibility and uniform complexity (Q287086) (← links)
- Invariant-free clausal temporal resolution (Q352974) (← links)
- Translating propositional extended conjunctions of Horn clauses into Boolean circuits (Q964389) (← links)
- Dual systems of tableaux and sequents for PLTL (Q1035676) (← links)
- The structure of logarithmic advice complexity classes (Q1275000) (← links)
- Exact learning of multivalued dependency formulas (Q1704556) (← links)
- Negative results on learning multivalued dependencies with queries (Q1944177) (← links)
- Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\) (Q1989347) (← links)
- Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models (Q2095426) (← links)
- Exact Learning of Multivalued Dependencies (Q2835618) (← links)
- Systematic semantic tableaux for PLTL (Q2871849) (← links)
- A Cut-Free and Invariant-Free Sequent Calculus for PLTL (Q3608433) (← links)
- A Note on polynomial-size circuits with low resource-bounded Kolmogorov complexity (Q4301636) (← links)
- (Q4348124) (← links)
- On the sparse set conjecture for sets with low density (Q4596657) (← links)
- (Q4955319) (← links)
- Exact Learning (Q5053056) (← links)
- Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach (Q5079769) (← links)
- Degrees and reducibilities of easy tally sets (Q5096899) (← links)
- Automatic white-box testing of first-order logic ontologies (Q5213392) (← links)
- One-pass Context-based Tableaux Systems for CTL and ECTL (Q6060101) (← links)
- Tableaux for realizability of safety specifications (Q6174549) (← links)
- Towards certified model checking for PLTL using one-pass tableaux (Q6487556) (← links)
- Towards the exact complexity of realizability for safety LTL (Q6615568) (← links)
- Towards an efficient implementation of a tableau method for reactive safety specifications (Q6643466) (← links)
