Re-uniting Automatic Theorem Proving and Logic Programming for the formal verification of logic languages

Alessandra di Pierro

• Description of the research project
  • Current state-of-the-art
  • Detailed description of the research work
  • Innovative aspects
  • Work programme and methods
  • Results expected
  • Relevance to Community policies
• References
• About this document ...