conditional equation

Show Summary Details

Quick Reference

An expression of the form e1 & … & ene, which means that if the equations e1,…, en hold then the equation e holds. Conditional equations have many properties in common with equations; in particular, sets of conditional equations isess initial algebras and generalizations of Birkhoff's completeness theorem.

e1 & … & ene,

Subjects: Computing.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.