Complete axiomatizations of the algebras of finite, rational and infinite trees | IEEE Conference Publication | IEEE Xplore