previous up next
Go backward to The Logic of Actions
Go up to Top
Go forward to Actions
RISC-Linz logo

State Functions and Predicates


Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next