$sigma$-locales in Formal Topology

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

Conditional Bisimilarity for Reactive Systems

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

Integrity Constraints Revisited: From Exact to Approximate Implication

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

The Dichotomy of Evaluating Homomorphism-Closed Queries on Probabilistic Graphs

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

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems

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

On the Taylor expansion of $lambda$-terms and the groupoid structure of their rigid approximants

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

Architectures in parametric component-based systems: Qualitative and quantitative modelling

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

On Higher-Order Probabilistic Subrecursion

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

A coalgebraic take on regular and $omega$-regular behaviours

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

Parametricity for Nested Types and GADTs

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

Stashing And Parallelization Pentagons

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

An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets

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

Adaptive Non-linear Pattern Matching Automata

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

Expressive Logics for Coinductive Predicates

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

Efficient Full Higher-Order Unification

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

A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm

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

A new operational representation of dependencies in Event Structures

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

A Probabilistic Higher-order Fixpoint Logic

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

On Supergraphs Satisfying CMSO Properties

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

Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers

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