Combining Term Rewriting and Type Assignment Systems.

Franco Barbanera

Published in: Int. J. Found. Comput. Sci. (1990)

Keyphrases

term rewriting
rewrite systems
complex systems
machine learning
training data
cooperative
distributed systems
computer systems
learning systems
integrity constraints