SETS ⇝
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 comprehension ♦ Set Equation Transformation System ♦ Setext
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading