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