SETS

Set Equation Transformation System.

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).

Nearby terms:

SETL2SETL/ESet Priority LevelSETSset theoryset-top boxSEUS

Try this search on Wikipedia, OneLook, Google


Loading