A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi
A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction
A Spatial Calculus of Wrapped Compartments
A Spatial-Epistemic Logic for Reasoning about Security Protocols
A standardisation proof for algebraic pattern calculi
A Structural Approach to Reversible Computation
A study of fuzzy and many-valued logics in cellular automata
A study of set-sharing analysis via cliques
A Survey of Paraconsistent Logics
A survey of proof nets and matrices for substructural logics
A Survey on how Description Logic Ontologies Benefit from Formal Concept Analysis
A Survey on Temporal Logics
A synchronous pi-calculus
A syntactical analysis of non-size-increasing polynomial time computation
A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
A System F accounting for scalars
A System of Interaction and Structure
A System of Interaction and Structure II: The Need for Deep Inference
A System of Interaction and Structure IV: The Exponentials and Decomposition
A System-Level Semantics