Inria
|
Raweb
2013 | Exploratory Action
2013 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