Expressive Logics for Coinductive Predicates

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

Efficient Full Higher-Order Unification

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

A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm

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

A new operational representation of dependencies in Event Structures

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

A Probabilistic Higher-order Fixpoint Logic

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

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