Non-determinism, Non-termination and the Strong Normalization of System T.

Federico Aschieri Margherita Zorzi

Published in: TLCA (2013)

Keyphrases

website
reinforcement learning
data sets
real world
information systems
image sequences
preprocessing
active rules