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


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