Login / Signup

Interaction Nets and Term Rewriting Systems (Extended Abstract).

Maribel FernándezIan Mackie
Published in: CAAP (1996)
Keyphrases
  • extended abstract
  • term rewriting systems
  • functional programs
  • logic programs
  • user interaction
  • human computer interaction
  • databases
  • knowledge base