No. Title Author Year
1 Functorial String Diagrams for Reverse-Mode Automatic Differentiation Alvarez-Picallo, Mario et al. 2023
2 String Diagram Rewriting Modulo Commutative (Co)Monoid Structure Milosavljević, Aleksandar et al. 2023
3 String Diagrams for Non-Strict Monoidal Categories Wilson, Paul et al. 2023
4 Rewriting for Monoidal Closed Categories Alvarez-Picallo, Mario et al. 2022
5 From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls) Bonchi, Filippo et al. 2021
6 Functorial Semantics as a Unifying Perspective on Logic Programming Gu, Tao et al. 2021
7 A Coalgebraic Perspective on Probabilistic Logic Programming Gu, Tao et al. 2019
8 Bialgebraic Semantics for String Diagrams Bonchi, Filippo et al. 2019
9 CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper) Sobocinski, Pawel et al. 2019
10 Kleene Algebra with Observations Kappé, Tobias et al. 2019
11 A Formal Semantics of Influence in Bayesian Reasoning Jacobs, Bart et al. 2017
12 A Universal Construction for (Co)Relations Fong, Brendan et al. 2017
13 Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages Kappé, Tobias et al. 2017
Current Page :
Number of result pages: 1
Number of documents: 13

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