An implicit function theorem for the stream calculus

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

On the Metric Temporal Logic for Continuous Stochastic Processes

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

Linear-time logics -- a coalgebraic perspective

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

Branch-Well-Structured Transition Systems and Extensions

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

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems

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

Addition and Differentiation of ZX-diagrams

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

The Pebble-Relation Comonad in Finite Model Theory

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

On Tools for Completeness of Kleene Algebra with Hypotheses

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

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features

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

Encodability Criteria for Quantum Based Systems

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

A Strong Bisimulation for a Classical Term Calculus

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

Inapproximability of Unique Games in Fixed-Point Logic with Counting

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

Boolean proportions

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

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential

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

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete

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

Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise

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

Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials

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

An Analysis of Tennenbaum's Theorem in Constructive Type Theory

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

Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing

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

Variable binding and substitution for (nameless) dummies

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