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

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ ACM ] [ al ] [ an ] [ at ] [ B ] [ b ] [ bo ] [ Boolean ] [ C ] [ ci ] [ CM ] [ de ] [ E ] [ er ] [ eS ] [ et ] [ ExpreSS ] [ fi ] [ fo ] [ for ] [ G ] [ ie ] [ in ] [ io ] [ J ] [ la ] [ li ] [ M ] [ ma ] [ man ] [ ng ] [ ni ] [ nS ] [ O ] [ pa ] [ pr ] [ re ] [ S ] [ Si ] [ St ] [ T ] [ ua ]