PNBml

swMATH9890MaRDI QIDQ21869FDOQ21869

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: PNBml