Login / Signup
Using Reflection to Build Efficient and Certified Decision Procedures.
Samuel Boutin
Published in:
TACS (1997)
Keyphrases
</>
decision procedures
modal logic
theorem proving
automated reasoning
database
conjunctive queries
data sets
databases
artificial intelligence
relational databases
reasoning problems