PNBml

MaRDI QIDQ21869swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-319-07734-5_9

Cited in

(4)

• String diagram rewrite theory III: Confluence with and without Frobenius
• A programming language for spatial distribution of net systems
• Lawvere categories as composed PROPs
• Confluence of graph rewriting with interfaces

This page was built for software: PNBml