Right-cancellability of a family of operations on binary trees

Philippe Duchon (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

We prove some new results on a family of operations on binary trees, some of which are similar to addition, multiplication and exponentiation for natural numbers. The main result is that each operation in the family is right-cancellable.

Mots clés: binary trees

Domaines: Mathématique discrète [cs.DM]

Philippe Duchon. Right-cancellability of a family of operations on binary trees. Discrete Mathematics and Theoretical Computer Science, 1998, Vol. 2, pp.27-33. ⟨10.46298/dmtcs.248⟩. ⟨hal-00958900⟩