Variadic equational matching

DOI10.1007/978-3-030-23250-4_6zbMath1428.68341OpenAlexW2954069943MaRDI QIDQ2287900

Temur Kutsia, Mircea Marin, Besik Dundua

Publication date: 22 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-23250-4_6

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Variadic equational matching in associative and commutative theories

Uses Software

• Mathematica
• Theorema
• CLP(Flex)

This page was built for publication: Variadic equational matching