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

1 |
A Certificate-Based Approach to Formally Verified Approximations |
Bréhard, Florent et al. |
2019 |

2 |
Coinduction: Automata, Formal Proof, Companions (Invited Paper) |
Pous, Damien |
2019 |

3 |
Cyclic Proofs and Jumping Automata |
Kuperberg, Denis et al. |
2019 |

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

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

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

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

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

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

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

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

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