Login / Signup
Definitions by Rewriting in the Calculus of Constructions
Frédéric Blanqui
Published in:
CoRR (2006)
Keyphrases
</>
algebraic structure
rewrite rules
database
real time
conjunctive queries
automated deduction
presburger arithmetic
databases
neural network
information retrieval
query rewriting
rewriting rules
data mining
termination analysis