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


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