left

Techniques working on IPAD

right
AProVE Help SystemTechniquesTechniques working on IPAD
The following list contains an overview of all simplification techniques, which could be applied to IPAD programs. All of these techniques require that the TRS generated from the IPAD program is completely defined. For an exhaustive description of these techniques please consult the following papers [Gie95, Has04].