Login / Signup

Specification of reduction strategies in term rewriting systems.

Marko C. J. D. van EekelenMarinus J. Plasmeijer
Published in: Graph Reduction (1986)
Keyphrases
  • term rewriting systems
  • logic programs
  • high level
  • machine learning
  • functional programs
  • database
  • artificial intelligence
  • intelligent agents
  • formal specification
  • specification language