Login / Signup

Sequentiality in Orthogonal Term Rewriting Systems.

Jan Willem KlopAart Middeldorp
Published in: J. Symb. Comput. (1991)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • databases
  • logic programming
  • inference rules