Sign in
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