Login / Signup
Using ATMS to Efficiently Verify the Termination of Rewrite Rule Programs.
Masahito Kurihara
Hisashi Kondo
Azuma Ohuchi
Published in:
Int. J. Softw. Eng. Knowl. Eng. (1992)
Keyphrases
</>
neural network
rule learning
active rules
termination analysis
machine learning
information systems
e learning
special case