Login / Signup
Quasi-reductivity of Logically Constrained Term Rewriting Systems.
Cynthia Kop
Published in:
CoRR (2017)
Keyphrases
</>
term rewriting systems
logic programs
functional programs
query processing
data points
query optimization