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

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