previous up next
Go backward to Proof Completion
Go up to Top
Go forward to General Strategies
RISC-Linz logo

General Strategies

Author: Wolfgang Schreiner
Last Modification: November 30, 1999

previous up next