My search | Inria

Improve your search DEDUCTEAM

Domaines applicatifs

Thèmes scientifiques

Centres Inria associés

Ecosystème Inria

Institution Inria

Mots clés

Poste

Filter by

1 results for "DEDUCTEAM"

DEDUCTEAM

Deducteam investigates applications of proof theory to the design of logical frameworks, to...