Lax orthogonal factorisations in monad-quantale-enriched categories

Get full text

Petri Automata

Get full text

Coherent Presentations of Monoidal Categories

Get full text

A bound for Dickson's lemma

Get full text

Improved Algorithms for Parity and Streett objectives

Get full text

Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs

Get full text

Formal Languages, Formally and Coinductively

Get full text

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

Get full text

A new characterization of complete Heyting and co-Heyting algebras

Get full text

Well Behaved Transition Systems

Get full text

Edit Distance for Pushdown Automata

Get full text

Localic completion of uniform spaces

Get full text

Complexity theory for spaces of integrable functions

Get full text

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective

Get full text

Path Checking for MTL and TPTL over Data Words

Get full text

On some categorical-algebraic conditions in S-protomodular categories

Get full text

Hyper Normalisation and Conditioning for Discrete Probability Distributions

Get full text

First Order Theories of Some Lattices of Open Sets

Get full text

Retractability, games and orchestrators for session contracts

Get full text

Some remarks on connectors and groupoids in Goursat categories

Get full text