Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages
Handling software upgradeability problems with MILP solvers
Hierarchical states in the Compositional Interchange Format
Hierarchies in Dependence Logic
Higher Order Programming to Mine Knowledge for a Modern Medical Expert System
Higher-Order Pattern Complement and the Strict Lambda-Calculus
Higher-order Rewriting for Executable Compiler Specifications
Higher-Order Termination: from Kruskal to Computability
Higher-order theories
Highly Undecidable Problems For Infinite Computations
Homomorphism Preservation on Quasi-Wide Classes
Horn versus full first-order: complexity dichotomies in algebraic constraint satisfaction
HORPO with Computability Closure : A Reconstruction
How big is BCI fragment of BCK logic
How Overlap Determines the Macronuclear Genes in Ciliates
How to combine diagrammatic logics
Hybrid Branching-Time Logics
Hybrid Rules with Well-Founded Semantics
Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax
HYPE with stochastic events