Complete axiomatisations of the algebras of finite, rational and infinite trees (1988)

by M Maher
Venue:In Proceedings of the 3rd International Symposium on Logic in Computer Science