Cs-Lo
Interacting via the Heap in the Presence of Recursion
Towards Approximate Model Checking DC and PDC Specifications
Initial Semantics for Reduction Rules
Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program
Extending a system in the calculus of structures with a self-dual quantifier
An Efficient Simulation Algorithm on Kripke Structures
Interpolation Properties and SAT-based Model Checking
Merging Process Algebra and Action-based Computation Tree Logic
Discriminating Lambda-Terms Using Clocked Boehm Trees
Deterministic Automata for the (F,G)-fragment of LTL
Dialectics of Knowledge Representation in a Granular Rough Set Theory
A Dynamic-Epistemic Logic for Mobile Structured Agents
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
Modes of Convergence for Term Graph Rewriting
Distributed Priority Synthesis
Is Turings Thesis the Consequence of a More General Physical Principle?
Higher-order illative combinatory logic
Compiling Finite Domain Constraints to SAT with BEE
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
Defining Quantum Control Flow
On Distributability of Petri Nets
Simplifying Contract-Violating Traces
