previous up next
Go backward to Example
Go up to Top
Go forward to Recursive Definitions
RISC-Linz logo

Explicit Definitions

p(x0, ..., xn-1) : <=> F
f(x0, ..., xn-1) := T

Restriction may be lifted in certain cases.


Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next