Strong normalizability of the non-deterministic catch/throw calculi.

Yukiyoshi Kameyama Masahiko Sato

Published in: Theor. Comput. Sci. (2002)

Keyphrases

black box
databases
decision trees
database
real time
clustering algorithm
expert systems
sequent calculi