equational

adj.

方程式的，均分的；

Building in equational theories
Proofs by induction in equational theories with constructors
Proofs by induction in equational theories with constructors
Rewrite-based Equational Theorem Proving with Selection and Simplification
Specification and proof in membership equational logic
Complete Sets of Reductions for Some Equational Theories
Deciding Knowledge in Security Protocols Under Equational Theories
Membership algebra as a logical framework for equational specification
Membership Algebra as a Logical Framework for Equational Specification
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations ☆