Bijections between formulae and trees which are compatible with equivalences of the type ((f\(\circ g)\circ h)\sim ((f\circ h)\circ g)\) (Q1078190)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Bijections between formulae and trees which are compatible with equivalences of the type ((f\(\circ g)\circ h)\sim ((f\circ h)\circ g)\) |
scientific article; zbMATH DE number 3959450
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bijections between formulae and trees which are compatible with equivalences of the type ((f\(\circ g)\circ h)\sim ((f\circ h)\circ g)\) |
scientific article; zbMATH DE number 3959450 |
Statements
Bijections between formulae and trees which are compatible with equivalences of the type ((f\(\circ g)\circ h)\sim ((f\circ h)\circ g)\) (English)
0 references
1986
0 references
trivalent ordered trees
0 references
equivalence relation
0 references
