Sahlqvist via Translation

Subjects: “…Computer Science & IT…”
Get full text

Algebra, coalgebra, and minimization in polynomial differential equations

Subjects: “…Computer Science & IT…”
Get full text

Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs

Subjects: “…Computer Science & IT…”
Get full text

The Subpower Membership Problem for Finite Algebras with Cube Terms

Subjects: “…Computer Science & IT…”
Get full text

Efficient reduction of nondeterministic automata with application to language inclusion testing

Subjects: “…Computer Science & IT…”
Get full text

Relative Entailment Among Probabilistic Implications

Subjects: “…Computer Science & IT…”
Get full text

A sequent calculus for a semi-associative law

Subjects: “…Computer Science & IT…”
Get full text

A Light Modality for Recursion

Subjects: “…Computer Science & IT…”
Get full text

Shrub-depth: Capturing Height of Dense Graphs

Subjects: “…Computer Science & IT…”
Get full text

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

Subjects: “…Computer Science & IT…”
Get full text

Extending set functors to generalised metric spaces

Subjects: “…Computer Science & IT…”
Get full text

Models of Type Theory Based on Moore Paths

Subjects: “…Computer Science & IT…”
Get full text

Natural Transformations as Rewrite Rules and Monad Composition

Subjects: “…Computer Science & IT…”
Get full text

Probabilistic call by push value

Subjects: “…Computer Science & IT…”
Get full text

Subsumption Algorithms for Three-Valued Geometric Resolution

Subjects: “…Computer Science & IT…”
Get full text

Axioms for Modelling Cubical Type Theory in a Topos

Subjects: “…Computer Science & IT…”
Get full text

One-way definability of two-way word transducers

Subjects: “…Computer Science & IT…”
Get full text

Taylor expansion in linear logic is invertible

Subjects: “…Computer Science & IT…”
Get full text

Model Checking Flat Freeze LTL on One-Counter Automata

Subjects: “…Computer Science & IT…”
Get full text

Reasoning About Bounds in Weighted Transition Systems

Subjects: “…Computer Science & IT…”
Get full text