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 Library of Congress/NACO

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

Gérard Huet Wikidata

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 (10)

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
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 Sudoc [ABES], France
Lexique sanscrit-français à l'usage de glossaire indianiste, 1996: Library of Congress/NACO
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 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
˜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 History of VIAF ID:14812854 (48)