Login / Signup

Using ATMS to Efficiently Verify the Termination of Rewrite Rule Programs.

Masahito KuriharaHisashi KondoAzuma 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