Login / Signup

Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems.

Sándor Vágvölgyi
Published in: Inf. Process. Lett. (2018)
Keyphrases
  • term rewriting systems
  • transitive closure
  • functional programs
  • logic programs
  • binary relations
  • preference relations
  • xml data
  • semantic relations