Inria
|
Raweb
2014 | Exploratory Action
2014 Exploratory Action Activity Report
DEDUCTEAM
Deduction modulo, interopérabilité et démonstration automatique
Research centre:
Paris - Rocquencourt
Keywords: Type Systems, Proof Theory, Automated Theorem Proving, Model Of Computation, Safety