No. Title Author Year
1 Bialgebraic Semantics for String Diagrams Bonchi, Filippo et al. 2019
2 CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper) Sobocinski, Pawel et al. 2019
3 The Axiom of Choice in Cartesian Bicategories Bonchi, Filippo et al. 2019
4 Graphical Conjunctive Queries Bonchi, Filippo et al. 2018
5 Rule Algebras for Adhesive Categories Behr, Nicolas et al. 2018
6 Refinement for Signal Flow Graphs Bonchi, Filippo et al. 2017
7 Front Matter, Table of Contents, Preface, List of Authors Moss, Lawrence S. et al. 2015
8 LIPIcs, Volume 35, CALCO'15, Complete Volume Moss, Lawrence S. et al. 2015
9 Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences Sobocinski, Pawel 2005
Current Page :
Number of result pages: 1
Number of documents: 9

DROPS-Home | Imprint | Privacy Published by LZI