Incremental Termination Proofs and the Length of Derivations.

Frank Drewes Clemens Lautemann

Published in: RTA (1991)

Keyphrases

incremental learning
neural network
data driven
inference rules
incremental version
total length
real time
data sets
data structure
artificial neural networks
fixed length
incremental clustering
formal proofs
finite alphabet
mathematical proofs