PNBml

swMATH9890MaRDI QIDQ21869FDOQ21869

Author name not available (Why is that?)

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