Game Refinement Relations and Metrics

Game semantics for first-order logic

General Ramified Recurrence is Sound for Polynomial Time

General Recursion and Formal Topology

General Recursion via Coinductive Types

Generalised Rabin(1) synthesis

Generalization Strategies for the Verification of Infinite State Systems

Generalized Mean-payoff and Energy Games

Generalized powerlocales via relation lifting

Generalized Satisfiability for the Description Logic ALC

Generalized Strong Preservation by Abstract Interpretation

Generalizing Consistency and other Constraint Properties to Quantified Constraints

Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation

Generalizing Topology via Chu Spaces

Generating Bijections between HOAS and the Natural Numbers

Generic Automatic Proof Tools

Generic Environments in Coq

Generic Modal Cut Elimination Applied to Conditional Logics

Generic Trace Logics

Generic Trace Semantics via Coinduction