On Tools for Completeness of Kleene Algebra with Hypotheses

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

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

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

Executable First-Order Queries in the Logic of Information Flows

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

Encodability Criteria for Quantum Based Systems

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

A Strong Bisimulation for a Classical Term Calculus

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

Inapproximability of Unique Games in Fixed-Point Logic with Counting

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

Boolean proportions

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

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

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

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

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

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

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

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

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

An Analysis of Tennenbaum's Theorem in Constructive Type Theory

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

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

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

Variable binding and substitution for (nameless) dummies

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

Stabilized profunctors and stable species of structures

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

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests

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

Separators in Continuous Petri Nets

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

Towards Uniform Certification in QBF

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

Galois connecting call-by-value and call-by-name

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

Varieties of unary-determined distributive $ell$-magmas and bunched implication algebras

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