Some Mathematicians Are Not Turing Machines

Some Models and Tools for Open Systems

Some Remarks on the Model Theory of Epistemic Plausibility Models

Sound and complete axiomatizations of coalgebraic language equivalence

Sound and Complete Typing for lambda-mu

Sound Bisimulations for Higher-Order Distributed Process Calculus

Sound search in a denotational semantics for first order logic

Soundness and completeness of the cirquent calculus system CL6 for computability logic

Space-Efficient Bounded Model Checking

Spatial logics with connectedness predicates

Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family

Specifying Data Objects with Initial Algebras

SPINning Parallel Systems Software

Split-2 Bisimilarity has a Finite Axiomatization over CCS with<br> Hennessy's Merge

Square root meadows

Stabilization of Cooperative Information Agents in Unpredictable Environment: A Logic Programming Approach

Stable models and an alternative logic programming paradigm

Standard Logics Are Valuation-Nonmonotonic

State Space Computation and Analysis of Time Petri Nets

Stateless HOL