Bialgebraic Semantics for String Diagrams.

Filippo Bonchi Robin Piedeleu Pawel Sobocinski Fabio Zanasi

Published in: CoRR (2019)

Keyphrases

formal semantics
data structure
graphical representation
pattern matching
edit distance
logic programming
string matching
neural network
semantic information
regular expressions
conceptual graphs
context free grammars
argumentation frameworks
semantic representation
operational semantics