Non-linear Associative-Commutative Many-to-One Pattern Matching with Sequence Variables

Manuel Krebber

Pattern matching is a powerful tool which is part of many functional programming languages as well as computer algebra systems such as Mathematica. Among the existing systems, Math…