Results 211 to 220 of about 15,524 (267)
Some of the next articles are maybe not open access.

Related searches:

Rewriting with Frobenius

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Symmetric monoidal categories have become ubiquitous as a formal environment for the analysis of compound systems in a compositional, resource-sensitive manner using the graphical syntax of string diagrams. Recently, reasoning with string diagrams has been implemented concretely via double-pushout (DPO) hypergraph rewriting.
Filippo Bonchi   +4 more
openaire   +3 more sources

Home - About - Disclaimer - Privacy