Sign in
Confluence of Conditional Rewriting Modulo.
Salvador Lucas
Published in:
CSL (2024)
Keyphrases
</>
query rewriting
neural network
rewrite systems
relational databases
rewrite rules
real world
data mining
learning algorithm
artificial intelligence
image sequences
conjunctive queries
termination analysis
rewriting systems