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

N="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 ]