Single elementary associative-commutative matching
From MaRDI portal
(Redirected from Publication:1598445)
Recommendations
Cited in
(14)- scientific article; zbMATH DE number 1638660 (Why is no real title available?)
- The complexity of counting problems in equational matching
- Some complexity theoretic aspects of AC rewriting
- Single-crossing choice correspondences
- Variadic equational matching in associative and commutative theories
- Associative-commutative discrimination nets
- scientific article; zbMATH DE number 4191126 (Why is no real title available?)
- Variadic equational matching
- Tactics for Reasoning Modulo AC in Coq
- scientific article; zbMATH DE number 2043518 (Why is no real title available?)
- On the parameterized complexity of associative and commutative unification
- On the parameterized complexity of associative and commutative unification
- scientific article; zbMATH DE number 3921983 (Why is no real title available?)
- Rewriting Techniques and Applications
This page was built for publication: Single elementary associative-commutative matching
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1598445)