Précédent : 1. Algorithmics Remonter : Abstract
Here there are two sub-divisions into the field
of formal verification of systems and automated
deduction. Research has been conducted into the soundness of
protocols and into the developement of proof environments for
UNITY. Theoretical activity includes research in Proof Theory,
the 
-calculus and
complexity related to filtering and unification.