No label defined (Q5018498)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7450015

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7450015

Statements

scholarly article

0 references

Vladimir Zamdzhiev

0 references

publication date

20 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1809.03814

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?TERMGRAPH2018.6

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

Rewriting modulo symmetric monoidal structure

0 references

Full Abstraction for Signal Flow Graphs

0 references

Graph States and the Necessity of Euler Decomposition

0 references

Handbook of Graph Grammars and Computing by Graph Transformation

0 references

Pattern graph rewrite systems

0 references

Equational Reasoning with Context-Free Families of String Diagrams

0 references

Quantomatic: A Proof Assistant for Diagrammatic Reasoning

0 references

Enriching a Linear/Non-linear Lambda Calculus

0 references

Pair grammars, graph languages and string-to-graph translations

0 references

0 references

Specification of graph translators with triple graph grammars

0 references

Identifiers

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5018498

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5018498&oldid=36752298"