Werner, Benjamin
VIAF ID: 7684954 ( Personal )
Permalink: http://viaf.org/viaf/7684954
Preferred Forms
- 200 _ | ‡a Werner ‡b Benjamin
-
-
-
- 100 1 _ ‡a Werner, Benjamin
-
-
- 100 1 _ ‡a Werner, Benjamin
- 100 1 _ ‡a Werner, Benjamin
Works
Title | Sources |
---|---|
Algorithmique et programmation : promotion 2012, année 2, enseignement diversifié 2, INF431 | |
Ambus succes afhænger af, om selskabet kan forandre sit marked | |
Appréhender et Assurer les risques Cyber au sein des Organisations : une Approche Systémique et Opérationnelle | |
Calculs vérifiés en algèbre homologique. | |
Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve : une étude dans le cadre du système Coq | |
Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo | |
Conception of langages to describe proofs and automations in proof assistants : a study in the Coq system framework. | |
Design and implementation of a proof verifying kernel for the λΠ-calculus modulo. | |
Essai de code pour une bibliographie automatique en protohistoire européenne | |
Evaluating and Insuring Cyber Risks within Organizations : Systemic and Operations Approach. | |
Formal Proofs for Global Optimization -- Templates and Sums of Squares | |
Generic Proof Tools and Finite Group Theory | |
Logical frameworks and meta-languages : actes = proceedings of the 2nd Workshop on ..., Santa Barbara, California, USA, June 25, 2000 | |
Logique et théorie de types : notes de cours | |
A Matter of Trust : Skeptical Communication between Coq and External Provers | |
Outils génériques de preuve et théorie des groupes finis. | |
Preuves formelles pour l'optimisation globale -- Méthodes de gabarits et sommes de carrés. | |
Question de confiance : communication sceptique entre Coq et des prouveurs externes. | |
UNE THEORIE DES CONSTRUCTIONS INDUCTIVES | |
Théorie des types et procédures de décision | |
TYPES 2004 | |
Types for proofs and programs | |
Types intersections non-idempotents pour raffiner la normalisation forte avec des informations quantitatives. | |
Verified computing in homological algebra | |
Den ¤mørke side af industriens millioner til lægerne |