Confluence of Conditional Rewriting Modulo.

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