Size-Change Termination as a Contract.

Phuc C. Nguyen Thomas Gilray Sam Tobin-Hochstadt David Van Horn

Published in: CoRR (2018)

Keyphrases

data sets
case study
small size
neural network
expert systems
memory requirements
scales linearly