Verifying liquidity of recursive Bitcoin contracts

Get full text

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption

Get full text

Regular matching problems for infinite trees

Get full text

Quotients of Bounded Natural Functors

Get full text

Weight Annotation in Information Extraction

Get full text

Quantifying over Boolean announcements

Get full text

On the Nielsen-Schreier Theorem in Homotopy Type Theory

Get full text

Bounded Reachability Problems are Decidable in FIFO Machines

Get full text

An extensible equality checking algorithm for dependent type theories

Get full text

On the Axiomatisability of Parallel Composition

Get full text

A duality theoretic view on limits of finite structures: Extended version

Get full text

Universal Algebraic Methods for Constraint Satisfaction Problems

Get full text

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

Get full text

No-Go Theorems for Distributive Laws

Get full text

Games Where You Can Play Optimally with Arena-Independent Finite Memory

Get full text

Normalization for planar string diagrams and a quadratic equivalence algorithm

Get full text

Rast: A Language for Resource-Aware Session Types

Get full text

A Recursive Approach to Solving Parity Games in Quasipolynomial Time

Get full text

$sigma$-locales in Formal Topology

Get full text

Conditional Bisimilarity for Reactive Systems

Get full text