VIAF

Virtual International Authority File

Search

Huet, Gérard, 1947-...., informaticien Sudoc [ABES], France National Library of France

Huet, Gérard National Library of the Netherlands-test Wikipedia (en) Library of Congress/NACO

Huet, Gérard 1947- NUKAT Center of Warsaw University Library ISNI-test

Huet, G. German National Library

VIAF ID: 14812854 (Personal)

Permalink: http://viaf.org/viaf/14812854

ISNI-test: 0000  0001  1932  5321 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (5)

Open Section Close SectionWorks

Title Sources
Comprendre les méthodes formelles panorama et outils logiques Sudoc [ABES], France
Construction, amélioration de programmes Sudoc [ABES], France National Library of France
Formal Structures for Computation and Deduction Wikipedia (en)
Formes canoniques dans les algèbres finiment présentées Sudoc [ABES], France
From semantics to computer science essays in honour of Gilles Kahn Sudoc [ABES], France
˜La œGestion des données dans les systèmes informatiques National Library of France Library of Congress/NACO
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions NUKAT Center of Warsaw University Library Wikipedia (en) Sudoc [ABES], France
Lexique sanscrit-français à l'usage de glossaire indianiste, 1996: Library of Congress/NACO
Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation Wikipedia (en)
Logical environments Sudoc [ABES], France National Library of France Library of Congress/NACO
Logical foundations of functional programming National Library of the Netherlands-test NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Logical Frameworks xR Extended Titles-test NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Machines d'Eilenberg effectives Sudoc [ABES], France
˜A œMechanization of type theory National Library of France
Outils Génériques de Modélisation et de Démonstration pour la Formalisation des Mathématiques en Théorie des Types application à la Théorie des Catégories Sudoc [ABES], France
Proceedings, 15th International Conference TPHOL Wikipedia (en)
˜Le œProjet prévision-réalisation des vols, par Gérard Huet,.. Sudoc [ABES], France National Library of France
Proving and improving programs Sudoc [ABES], France National Library of France
Résolution d'équations dans les langages d'ordre 1, 2, ...,ω Sudoc [ABES], France National Library of France
Sanskrit Computational Linguistics : First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers xR Extended Titles-test Sudoc [ABES], France Library of Congress/NACO National Library of France
Spécifications pour une base commune de données Sudoc [ABES], France National Library of France
Systèmes d'information : introduction à une construction participative Library of Congress/NACO
˜A œUnification algorithm for type theory National Library of France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section About

Open Section Close Section History of VIAF ID:14812854 (46)