Bijections between formulae and trees which are compatible with equivalences of the type ((f\(\circ g)\circ h)\sim ((f\circ h)\circ g)\)
From MaRDI portal
Publication:1078190
DOI10.1016/0012-365X(86)90073-7zbMath0596.05021MaRDI QIDQ1078190
Publication date: 1986
Published in: Discrete Mathematics (Search for Journal in Brave)
Cites Work
This page was built for publication: Bijections between formulae and trees which are compatible with equivalences of the type ((f\(\circ g)\circ h)\sim ((f\circ h)\circ g)\)