SETS(ID:627/set007)

Set Equation Transformation System. Symbolic manipulation of Boolean equations.

Structures:
References:
  • R.G. Worrell et al "Efficient Ordering of Set Expressions for Symbolic Expansion" view details
          in [ACM] JACM 20(3) July 1973 view details
  • Sammet, Jean E "Roster of programming languages for 1976-77" pp56-85 view details
          in SIGPLAN Notices 13(11) Nov 1978 view details