Login / Signup

Semantics and Strong Sequentiality of Priority Term Rewriting Systems.

Masahiko SakaiYoshihito Toyama
Published in: Theor. Comput. Sci. (1998)
Keyphrases
  • term rewriting systems
  • logic programs
  • logic programming
  • functional programs
  • formal semantics
  • high level
  • databases
  • semantic information
  • active rules