Login / Signup
Definitions by rewriting in the Calculus of Constructions
Frédéric Blanqui
Published in:
CoRR (2006)
Keyphrases
</>
rewrite rules
learning algorithm
conjunctive queries
real time
neural network
formal language
precise definition