The Pebble-Relation Comonad in Finite Model Theory

Get full text

On Tools for Completeness of Kleene Algebra with Hypotheses

Get full text

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

Get full text

Executable First-Order Queries in the Logic of Information Flows

Get full text

Encodability Criteria for Quantum Based Systems

Get full text

A Strong Bisimulation for a Classical Term Calculus

Get full text

Inapproximability of Unique Games in Fixed-Point Logic with Counting

Get full text

Boolean proportions

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

An Analysis of Tennenbaum's Theorem in Constructive Type Theory

Get full text

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

Get full text

Variable binding and substitution for (nameless) dummies

Get full text

Stabilized profunctors and stable species of structures

Get full text

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

Get full text

Separators in Continuous Petri Nets

Get full text

Towards Uniform Certification in QBF

Get full text

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

Get full text