A formal language for cyclic operads (Q3121012)
From MaRDI portal
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