๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The term orderings which are compatible with composition II

โœ Scribed by Jinwang Liu; Zhuojun Liu; Mingsheng Wang


Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
162 KB
Volume
35
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Bijections between formulae and trees wh
โœ R.P. Nederpelt ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 376 KB

We describe a bijection which maps trivalent ordered trees, representing certain formulae, onto ordered trees. The mapping is such that an equivalence relation of the type ((f o g) o h) ((f o h)o g) on the set of formulae, induces the equivalence relation of being equal modulo order on the set of or