Geuvers, Herman, 1964-
Geuvers, Herman
Geuvers, Herman (Jan Herman), 1964-
Geuvers, Jan Herman (1964- ).
Herman Geuvers
VIAF ID: 85371066 (Personal)
Permalink: http://viaf.org/viaf/85371066
Preferred Forms
- 200 _ | ‡a Geuvers ‡b Herman ‡f 1964-....
- 100 1 _ ‡a Geuvers, Herman
-
-
- 100 1 _ ‡a Geuvers, Herman ‡d 1964
- 100 1 _ ‡a Geuvers, Herman ‡d 1964-
-
- 100 1 _ ‡a Geuvers, Herman, ‡d 1964-
-
-
-
-
- 100 0 _ ‡a Herman Geuvers
4xx's: Alternate Name Forms (8)
Works
Title | Sources |
---|---|
Computer-ondersteund redeneren: de boekhouder steunt de denker | |
Étude formelle d'algorithmes efficaces en algèbre linéaire | |
Explicit substitution: on the edge of strong normalisation | |
Extending higher-order logic with predicate subtyping : application to PVS | |
Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS. | |
Formal study of efficient algorithms in linear algebra. | |
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings | |
Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings | |
Interopérabilité entre systèmes de preuves en utilisant le cadre logique Dedukti. | |
Interoperability between proof systems using the logical framework Dedukti | |
Logic Colloquium 2006 | |
Logics and type systems | |
Reinventing Coq's Reals library : toward a more suitable formalization of classical analysis. | |
Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée | |
Selected papers on Automath | |
A short and flexible proof of strong normalization for the calculus of construction | |
Typage Bidirectionnel pour le Calcul des Constructions Inductives. | |
Type Theory and Formal Proof : An Introduction | |
Types for proofs and programs international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers |