Coalgebraic Satisfiability Checking for Arithmetic $mu$-Calculi

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

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory

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

Many-valued coalgebraic logic over semi-primal varieties

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

Operations on Fixpoint Equation Systems

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

Twin-width and permutations

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

Fully Abstract Encodings of $lambda$-Calculus in HOcore through Abstract Machines

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

Simulations for Event-Clock Automata

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

On the Satisfiability of Local First-Order Logics with Data

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

$text{TT}^{Box}_{mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity

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

Transpension: The Right Adjoint to the Pi-type

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

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

Executable First-Order Queries in the Logic of Information Flows

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