Login / Signup
On the confluence of lambda-calculus with conditional rewriting
Frédéric Blanqui
Claude Kirchner
Colin Riba
Published in:
CoRR (2011)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
database query languages
conjunctive queries
program understanding
database
relational databases
complex objects
knowledge representation
natural language processing
query rewriting