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