Go backward to Superposition
Go up to Top
Go forward to The Superposition Theorem

Rules of Superposition

Program name
   initially initial values of superposed variables
   transform effect of augmentation rule
   add effect of restricted union rule


Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: unity3.tex,v 1.1 1996/04/19 12:29:22 schreine Exp schreine

Prev Up Next