The Subpower Membership Problem for Finite Algebras with Cube Terms

Get full text

Efficient reduction of nondeterministic automata with application to language inclusion testing

Get full text

Relative Entailment Among Probabilistic Implications

Get full text

A sequent calculus for a semi-associative law

Get full text

A Light Modality for Recursion

Get full text

Shrub-depth: Capturing Height of Dense Graphs

Get full text

Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture

Get full text

Extending set functors to generalised metric spaces

Get full text

Models of Type Theory Based on Moore Paths

Get full text

Natural Transformations as Rewrite Rules and Monad Composition

Get full text

Probabilistic call by push value

Get full text

Subsumption Algorithms for Three-Valued Geometric Resolution

Get full text

Axioms for Modelling Cubical Type Theory in a Topos

Get full text

One-way definability of two-way word transducers

Get full text

Taylor expansion in linear logic is invertible

Get full text

Model Checking Flat Freeze LTL on One-Counter Automata

Get full text

Reasoning About Bounds in Weighted Transition Systems

Get full text

Inducing syntactic cut-elimination for indexed nested sequents

Get full text

Termination in Convex Sets of Distributions

Get full text

Separating regular languages with two quantifier alternations

Get full text