Set Equation Transformation System

<logic>

(SETS) A system for symbolic manipulation of Boolean equations.

["Efficient Ordering of Set Expressions for Symbolic Expansion", R.G. Worrell et al, J ACM 20(3):482-488, Jul 1973].

Last updated: 2017-12-04

Nearby terms:

set comprehensionSet Equation Transformation SystemSetext

Try this search on Wikipedia, OneLook, Google


Loading