equational

equational怎么读

英式音标：[ɪ\'kweɪʃənəl]

美式音标：[ɪ\'kweɪʒənəl]

equational的意思释义

adj.

方程式的，均分的；

equational用法及例句

例句参考

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 ☆