Login / Signup

Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report.

Deepak KapurMahadevan Subramaniam
Published in: ASIAN (2003)
Keyphrases
  • decision procedures
  • theorem proving
  • modal logic
  • theorem prover
  • automated reasoning
  • databases
  • relational databases
  • conjunctive queries
  • datalog programs