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

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