You are here: irt.org | FOLDOC | 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].
(2017-12-04)
Nearby terms: set associative cache « set complement « set comprehension « Set Equation Transformation System » Setext » SETL » SETL2
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL