No. Title Author Year
1 Bialgebraic Semantics for String Diagrams Bonchi, Filippo et al. 2019
2 The Axiom of Choice in Cartesian Bicategories Bonchi, Filippo et al. 2019
3 Graphical Conjunctive Queries Bonchi, Filippo et al. 2018
4 Up-To Techniques for Behavioural Metrics via Fibrations Bonchi, Filippo et al. 2018
5 Front Matter, Table of Contents, Preface, List of Authors Bonchi, Filippo et al. 2017
6 LIPIcs, Volume 72, CALCO'17, Complete Volume Bonchi, Filippo et al. 2017
7 Refinement for Signal Flow Graphs Bonchi, Filippo et al. 2017
8 The Power of Convex Algebras Bonchi, Filippo et al. 2017
9 Lax Bialgebras and Up-To Techniques for Weak Bisimulations Bonchi, Filippo et al. 2015
10 Towards Trace Metrics via Functor Lifting Baldan, Paolo et al. 2015
11 Behavioral Metrics via Functor Lifting Baldan, Paolo et al. 2014
12 Generalizing the powerset construction, coalgebraically Silva, Alexandra et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 12


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