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

Model Checking Vector Addition Systems with one zero-test

Get full text

Generic Fibrational Induction

Get full text

Dynamic Dependency Pairs for Algebraic Functional Systems

Get full text

Refining Inductive Types

Get full text

Width and size of regular resolution proofs

Get full text

Modes of Convergence for Term Graph Rewriting

Get full text