Login / Signup
Order-Sorted Rewriting and Congruence Closure.
José Meseguer
Published in:
FoSSaCS (2016)
Keyphrases
</>
order sorted
predicate logic
rewrite rules
rewriting rules
query rewriting
socio technical
queries using views
conjunctive queries
termination analysis
machine learning
presburger arithmetic