Strongly Complete Logics for Coalgebras

Get full text

On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

Get full text

On Constructor Rewrite Systems and the Lambda Calculus

Get full text

On logical hierarchies within FO^2-definable languages

Get full text

A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time

Get full text

Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator

Get full text

Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

Get full text

Bounded Arithmetic in Free Logic

Get full text

Isomorphisms of types in the presence of higher-order references (extended version)

Get full text

Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic

Get full text

Finite dimensional Hilbert spaces are complete for dagger compact closed categories

Get full text

Formalizing Randomized Matching Algorithms

Get full text

Software Model Checking with Explicit Scheduler and Symbolic Threads

Get full text

Efficient CSL Model Checking Using Stratification

Get full text

Completeness for the coalgebraic cover modality

Get full text

The Relationship Between Separation Logic and Implicit Dynamic Frames

Get full text

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability

Get full text

Precompact Apartness Spaces

Get full text

Untyping Typed Algebras and Colouring Cyclic Linear Logic

Get full text

General Bindings and Alpha-Equivalence in Nominal Isabelle

Get full text