search result

Cover von String Diagrams for Graded Monoidal Theories, with an Application to Imprecise Probability

String Diagrams for Graded Monoidal Theories, with an Application to Imprecise Probability

Year: 2025
Media group: LIPIcs
Cover von A Universal Construction for (Co)Relations

A Universal Construction for (Co)Relations

Year: 2017
Media group: LIPIcs
Cover von An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models

An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models

Year: 2025
Media group: LIPIcs
Cover von String Diagram Rewriting Modulo Commutative (Co)Monoid Structure

String Diagram Rewriting Modulo Commutative (Co)Monoid Structure

Year: 2023
Media group: LIPIcs
Cover von Quantitative Monoidal Algebra

Quantitative Monoidal Algebra

Axiomatising Distance with String Diagrams
Year: 2025
Media group: LIPIcs
Cover von A Complete Diagrammatic Calculus for Automata Simulation

A Complete Diagrammatic Calculus for Automata Simulation

Year: 2025
Media group: LIPIcs
Cover von Coalgebraic Methods in Computer Science
16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2 - 3, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13225
Media group: MONOGRAPHIE
Cover von Functorial Semantics as a Unifying Perspective on Logic Programming

Functorial Semantics as a Unifying Perspective on Logic Programming

Year: 2021
Media group: LIPIcs
Cover von CARTOGRAPHER

CARTOGRAPHER

A Tool for String Diagrammatic Reasoning (Tool Paper)
Year: 2019
Media group: LIPIcs
Cover von A Coalgebraic Perspective on Probabilistic Logic Programming

A Coalgebraic Perspective on Probabilistic Logic Programming

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0