Computational expressivity of (circular) proofs with fixed points

Get full text

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe

Get full text

Range (Rényi) Entropy Queries and Partitioning

Get full text

On guarded extensions of MMSNP

Get full text

Positive Hennessy-Milner Logic for Branching Bisimulation

Get full text

A Hierarchy of Nondeterminism

Get full text

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)

Get full text

Offline and Online Use of Interval and Set-Based Approaches for Control and State Estimation: A Selection of Methodological Approaches and Their Application

Get full text

A categorical account of composition methods in logic (extended version)

Get full text

Strategies as Resource Terms, and their Categorical Semantics

Get full text

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems

Get full text

Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids

Get full text

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic

Get full text

What Monads Can and Cannot Do with a Few Extra Pages

Get full text

Extended Stone Duality via Monoidal Adjunctions

Get full text

Decidability of extensions of Presburger arithmetic by generalised polynomials

Get full text

Programming Distributed Collective Processes in the eXchange Calculus

Get full text

MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras

Get full text

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms

Get full text

TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)

Get full text