equational

听听怎么读
英 [ɪ'kweɪʃənəl]
美 [ɪ'kweɪʒənəl]
是什么意思
  • 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 ☆