Trees in Algebra and Programming - Caap '94 This volume contains selected papers presented at the 19th Colloquium on Trees in Algebra and Programming, held at the University of Edinburgh in April 1994. The contributors focus on the logical, algebraic and combinatorial properties of discrete structures. Full description
"synopsis" may belong to another edition of this title.