Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


2016 Team Activity Report
DEDUCTEAM
Deduction modulo, interopérabilité et démonstration automatique
Inria teams are typically groups of researchers working on the definition of a common project, and objectives, with the goal to arrive at the creation of a project-team. Such project-teams may include other partners (universities or research institutions).
Research centre: Saclay - Île-de-France

Field: Algorithmics, Programming, Software and Architecture
Theme: Proofs and Verification
Keywords:
Computer Science and Digital Science:
  • 2. - Software
  • 2.1.2. - Object-oriented programming
  • 2.1.3. - Functional programming
  • 2.1.11. - Proof languages
  • 2.4.3. - Proofs
  • 3.1.1. - Modeling, representation
  • 7. - Fundamental Algorithmics
  • 7.4. - Logic in Computer Science
  • 7.13. - Quantum algorithms