On Divergence and Halting Problems for Monadic Program Schemas.

Valery A. Nepomniaschy

Published in: MFCS (1978)

Keyphrases

databases
problems involving
reinforcement learning
special case
np complete
benchmark problems