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

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