Unifying Recursion in Partial, Total and General Correctness.

Walter Guttmann

Published in: UTP (2010)

Keyphrases

special case
closely related
complex objects
provably correct
data sets
databases
artificial intelligence
information systems
image processing
bayesian networks
reinforcement learning