Proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. Topics covered include logical, algebraic and combinatorial properties of discrete structures, and application of discrete structures in computer science.
Andre Arnold
algebra algorithm algorithms complexity data structure data structures formal language formal specification logic programming programming language semantics sets