Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees

Michael J. Maher

Browse the full LICS paper archive.