No. |
Title |
Author |
Year |
---|

1 |
Completeness for Identity-free Kleene Lattices |
Doumane, Amina et al. |
2018 |

2 |
On the Positive Calculus of Relations with Transitive Closure |
Pous, Damien |
2018 |

3 |
K4-free Graphs as a Free Algebra |
Cosme Llópez, Enric et al. |
2017 |

4 |
Monoidal Company for Accessible Functors |
Basold, Henning et al. |
2017 |

5 |
On Decidability of Concurrent Kleene Algebra |
Brunet, Paul et al. |
2017 |

6 |
A Formal Exploration of Nominal Kleene Algebra |
Brunet, Paul et al. |
2016 |

7 |
Lax Bialgebras and Up-To Techniques for Weak Bisimulations |
Bonchi, Filippo et al. |
2015 |