Login / Signup
Semantics and Strong Sequentiality of Priority Term Rewriting Systems.
Masahiko Sakai
Yoshihito Toyama
Published in:
RTA (1996)
Keyphrases
</>
term rewriting systems
functional programs
logic programs
logic programming
formal semantics
model theoretic
databases