previous up next
Go backward to Goals of a Programming Logic
Go up to Top
Go forward to State Functions and Predicates
RISC-Linz logo

The Logic of Actions

Values, variables and state.


Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next