Login / Signup

Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems.

Steffen van BakelSjaak SmetsersSimon Brock
Published in: CAAP (1992)
Keyphrases
  • term rewriting systems
  • closed form
  • logic programs
  • database
  • databases
  • functional programs