A formal language for cyclic operads (Q3121012): Difference between revisions
From MaRDI portal
Latest revision as of 19:15, 18 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A formal language for cyclic operads |
scientific article |
Statements
19 March 2019
0 references
operad
0 references
cyclic operad
0 references
unrooted trees
0 references
syntax
0 references
rewriting system
0 references
formalisation
0 references
math.AT
0 references
0 references