Dynamic Complexity of Parity Exists Queries

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

Dagger linear logic for categorical quantum mechanics

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

Tight Polynomial Bounds for Loop Programs in Polynomial Space

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

Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities

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

Internal Parametricity for Cubical Type Theory

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

Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

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

Modal Functional (Dialectica) Interpretation

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

Causal Consistency for Reversible Multiparty Protocols

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

Foundations of regular coinduction

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

W-types in setoids

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

Modular Path Queries with Arithmetic

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

Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models

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

Modular coinduction up-to for higher-order languages via first-order transition systems

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

Separation for dot-depth two

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

Cartesian Difference Categories

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

The Shapley Value of Tuples in Query Answering

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

A program for the full axiom of choice

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

Equivalence checking for weak bi-Kleene algebra

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

Successor-Invariant First-Order Logic on Classes of Bounded Degree

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

Ambiguity Hierarchy of Regular Infinite Tree Languages

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