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

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

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

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

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

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

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

Number of result pages: | 1 |

Number of documents: | 6 |