previous up next
Go backward to Equational Laws
Go up to Top
Go forward to Dynamic Laws
RISC-Linz logo

Static Laws


Author: Wolfgang Schreiner
Last Modification: June 8, 1998

previous up next