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

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

2 |
Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices) |
Das, Anupam et al. |
2018 |

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

4 |
Treewidth-Two Graphs as a Free Algebra |
Doczkal, Christian et al. |
2018 |

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

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

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

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

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