Login / Signup

Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations.

Jordi LevyJaume Agustí-Cullell
Published in: RTA (1993)
Keyphrases
  • term rewriting
  • cooperative
  • business intelligence
  • knowledge base
  • operational semantics