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

Generic Traces and Constraints, GenTra4CP revisited

GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.

Gentzen-Prawitz Natural Deduction as a Teaching Tool

GIST: A Solver for Probabilistic Games

Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements

Graded CTL Model Checking for Test Generation

Grainy Numbers

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures