Login / Signup

Transformation of Orthogonal Term Rewriting Systems.

Sugwoo ByunRichard KennawayM. Ronan Sleep
Published in: ASIAN (1995)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • databases
  • orthogonal projection