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
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
Other Research Topics and Application Domains:
- 7. - Transport and logistics