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á bibliografia

Vydané v:	Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science s. 710 - 719
Hlavní autori:	Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobociński, Paweł, Zanasi, Fabio
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 05.07.2016
Edícia:	ACM Conferences
Predmet:	Theory of computation > Design and analysis of algorithms
ISBN:	9781450343916, 1450343910
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!