Strong Completeness of Coalgebraic Modal Logics

Strong Equivalence Made Easy: Nested Expressions and Weight Constraints

Strong Equivalence of Qualitative Optimization Problems

Strong polynomial bound for light linear logic by levels

Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach

Structural abstract interpretation, A formal study using Coq

Structural Analysis of Boolean Equation Systems

Structural Decomposition of Reactions of Graph-Like Objects

Structural focalization

Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words

Structured general corecursion and coinductive graphs [extended abstract]

Structured Operational Semantics for Graph Rewriting

Structures de réalisabilité, RAM et ultrafiltre sur N

Stuttering Equivalence for Parity Games

Sums in linear algebraic lambda-calculus

Superdeduction in Lambda-Bar-Mu-Mu-Tilde

Superdevelopments for Weak Reduction

Superposition as a logical glue

Supervisory Control of Fuzzy Discrete Event Systems: A Formal Approach

Swapping: a natural bridge between named and indexed explicit substitution calculi