scientific article; zbMATH DE number 7450015

MaRDI QIDQ5018498

Vladimir Zamdzhiev

Publication date: 20 December 2021

Full work available at URL: https://arxiv.org/abs/1809.03814

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Uses Software

• Quantomatic

Cites Work

• Unnamed Item
• Pair grammars, graph languages and string-to-graph translations
• Full Abstraction for Signal Flow Graphs
• Equational Reasoning with Context-Free Families of String Diagrams
• Quantomatic: A Proof Assistant for Diagrammatic Reasoning
• Graph States and the Necessity of Euler Decomposition
• Handbook of Graph Grammars and Computing by Graph Transformation
• Rewriting modulo symmetric monoidal structure
• Pattern graph rewrite systems
• Enriching a Linear/Non-linear Lambda Calculus
• Specification of graph translators with triple graph grammars

This page was built for publication: