No. Title Author Year
1 Completeness Theorems for Kleene Algebra with Top Pous, Damien et al. 2022
2 Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms Doumane, Amina et al. 2020
3 A Certificate-Based Approach to Formally Verified Approximations Bréhard, Florent et al. 2019
4 Coinduction: Automata, Formal Proof, Companions (Invited Paper) Pous, Damien 2019
5 Cyclic Proofs and Jumping Automata Kuperberg, Denis et al. 2019
6 Completeness for Identity-free Kleene Lattices Doumane, Amina et al. 2018
7 Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices) Das, Anupam et al. 2018
8 On the Positive Calculus of Relations with Transitive Closure Pous, Damien 2018
9 Treewidth-Two Graphs as a Free Algebra Doczkal, Christian et al. 2018
10 K4-free Graphs as a Free Algebra Cosme Llópez, Enric et al. 2017
11 Monoidal Company for Accessible Functors Basold, Henning et al. 2017
12 On Decidability of Concurrent Kleene Algebra Brunet, Paul et al. 2017
13 A Formal Exploration of Nominal Kleene Algebra Brunet, Paul et al. 2016
14 Lax Bialgebras and Up-To Techniques for Weak Bisimulations Bonchi, Filippo et al. 2015
Current Page :
Number of result pages: 1
Number of documents: 14

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI