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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science S. 710 - 719
Hauptverfasser:	Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobociński, Paweł, Zanasi, Fabio
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 05.07.2016
Schriftenreihe:	ACM Conferences
Schlagworte:	Theory of computation > Design and analysis of algorithms
ISBN:	9781450343916, 1450343910
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!