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

Hypotheses Founded Semantics of Logic Programs for Information Integration in Multi-Valued Logics

Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations

Improving Web Database Access Using Decision Diagrams

In the beginning was game semantics

Incompleteness of States w.r.t. Traces in Model Checking

Inconsistency of the Zermelo-Fraenkel set theory with the axiom of choice and its effects on the computational complexity

Independence and concurrent separation logic

Induction and Co-induction in Sequent Calculus

Inductive and Coinductive Components of Corecursive Functions in Coq