On Supergraphs Satisfying CMSO Properties

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

Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers

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

Controlling a random population

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

Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism

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

A theory of transaction parallelism in blockchains

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

Dynamic Complexity of Parity Exists Queries

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

Dagger linear logic for categorical quantum mechanics

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

Tight Polynomial Bounds for Loop Programs in Polynomial Space

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

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

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

Internal Parametricity for Cubical Type Theory

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

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

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

Modal Functional (Dialectica) Interpretation

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

Causal Consistency for Reversible Multiparty Protocols

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

Foundations of regular coinduction

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

W-types in setoids

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

Modular Path Queries with Arithmetic

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

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

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

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

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

Separation for dot-depth two

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

Cartesian Difference Categories

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