previous up next
Go up to Top
Go forward to Theory
RISC-Linz logo

Mastering Complexity

Problem: Formulas become very large.

Complex objects and properties.

Solution: Introduce new function- and predicate-constants.

Capture under single name an object respectively property whose description with the help of the basic constants is very large.

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next