previous up next
Go backward to
Go up to Top
Go forward to Decomposition of Universally Quantified Formulas
RISC-Linz logo

Decomposing the Goal

Decompositon determined by outermost quantifier/connective.


Author: Wolfgang Schreiner
Last Modification: November 30, 1999

previous up next