Graph Based Reduction of Program Verification Conditions

Graph Creation, Visualisation and Transformation

Graph Polynomials: From Recursive Definitions To Subset Expansion Formulas

Graph representation of context-free grammars

Graph rewriting with polarized cloning

Graphical Presentations of Symmetric Monoidal Closed Theories

Graphical representation of covariant-contravariant modal formulae

Ground Canonicity

Ground interpolation for the theory of equality

Guarded Hybrid Knowledge Bases

Guarded Second-Order Logic, Spanning Trees, and Network Flows

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