Rewriting modulo symmetric monoidal structure

String diagrams are a powerful and intuitive graphical syntax for terms of symmetric monoidal categories (SMCs). They find many applications in computer science and are becoming increasingly relevant in other fields such as physics and control theory. An important role in many such approaches is pla...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science s. 710 - 719
Hlavní autoři:	Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobociński, Paweł, Zanasi, Fabio
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 05.07.2016
Edice:	ACM Conferences
Témata:	Theory of computation > Design and analysis of algorithms
ISBN:	9781450343916, 1450343910
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!