search result

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 A Complete Diagrammatic Calculus for Automata Simulation

A Complete Diagrammatic Calculus for Automata Simulation

Year: 2025
Media group: LIPIcs
Cover von Open System Categorical Quantum Semantics in Natural Language Processing

Open System Categorical Quantum Semantics in Natural Language Processing

Year: 2015
Media group: LIPIcs
Cover von A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes

Year: 2026
Media group: LIPIcs
Cover von A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures

Year: 2026
Media group: LIPIcs
Cover von On Iteration in Discrete Probabilistic Programming

On Iteration in Discrete Probabilistic Programming

Year: 2024
Media group: LIPIcs
Cover von Bialgebraic Semantics for String Diagrams

Bialgebraic Semantics for String Diagrams

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0