Login / Signup

Semantics and Strong Sequentiality of Priority Term Rewriting Systems.

Masahiko SakaiYoshihito Toyama
Published in: RTA (1996)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • logic programming
  • formal semantics
  • model theoretic
  • databases