Login / Signup
The New Rewriting Engine of Dedukti.
Gabriel Hondet
Frédéric Blanqui
Published in:
CoRR (2020)
Keyphrases
</>
rewriting rules
rewrite rules
data sets
databases
information retrieval
inference engine
query rewriting
rewriting systems
real world
website
case study
bayesian networks
multi agent
query processing
conjunctive queries
termination analysis