WorldCat Identities

Huet, Gérard

Overview
Works: 26 works in 106 publications in 2 languages and 1,899 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Thesis advisor, Other, Author of introduction
Classifications: QA76.9.A96, 005.11
Publication Timeline
.
Most widely held works by Gérard Huet
Logical foundations of functional programming( Book )

10 editions published between 1989 and 1990 in English and held by 300 WorldCat member libraries worldwide

Logical frameworks by Gérard Huet( Book )

14 editions published between 1991 and 2010 in English and Undetermined and held by 218 WorldCat member libraries worldwide

Logical environments by Implementation and Experiment" ESPRIT Basic Research Action 3245 "Logical Framework: Design( Book )

11 editions published in 1993 in English and Undetermined and held by 183 WorldCat member libraries worldwide

Sanskrit computational linguistics : third international symposium, Hyderabad, India, January 15 - 17, 2009 ; proceedings by Jaime G Carbonell( Book )

30 editions published between 2008 and 2009 in English and Undetermined and held by 148 WorldCat member libraries worldwide

Annotation
Comprendre les méthodes formelles : panorama et outils logiques by Jean François Monin( Book )

1 edition published in 1996 in French and held by 60 WorldCat member libraries worldwide

From semantics to computer science : essays in honour of Gilles Kahn by Yves Bertot( Book )

5 editions published in 2009 in English and held by 13 WorldCat member libraries worldwide

Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the future development of information technology
Equations and rewrite rules : a survey by Gérard Huet( Book )

3 editions published in 1980 in English and Undetermined and held by 7 WorldCat member libraries worldwide

A mechanization of Type Theory by Gérard Huet( Book )

6 editions published in 1973 in English and Undetermined and held by 5 WorldCat member libraries worldwide

Formes canoniques dans les algèbres finiment présentées by Philippe Le Chenadec( Book )

1 edition published in 1983 in French and held by 5 WorldCat member libraries worldwide

On présente une étude des formes canoniques dans les algèbres présentées par générateurs et relations. Après un exposé du formalisme adopté (systèmes de réécriture et algorithme de complétion de Knuth-Bendix), il est montré que celui-ci fournit des algorithmes de mise sous forme canonique des présentations finies de monoïdes, groupes, anneaux, modules et algèbres. Cette approche permet de retrouver, et dans certains cas d'étendre le champ d'application d'algorithmes classiques. On donne un catalogue de présentations complètes fournies par l'implantation en Lisp des algorithmes décrits
<> by Gérard Huet( Book )

2 editions published in 1976 in French and held by 4 WorldCat member libraries worldwide

Introduction du langage d'ordre omega . definition des ensembles complets d'unificateurs dans ce langage. presentation de divers algorithmes permettant d'engendrer un ensemble complet de pre-unificateurs. on donne des modifications a apporter a ces resultats en presence de la regle n. on reprend l'ensemble du probleme dans le cas de langages du premier ordre
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 by Amokrane Saïbi( Book )

1 edition published in 1999 in French and held by 3 WorldCat member libraries worldwide

Constrained resolution : a complete method for higher order logic by Gérard Huet( Book )

4 editions published in 1972 in English and held by 3 WorldCat member libraries worldwide

La Gestion des données dans les systèmes informatiques by Gérard Huet( Book )

1 edition published in 1974 in French and held by 3 WorldCat member libraries worldwide

A Unification algorithm for type theory by Gérard Huet( Book )

3 editions published in 1973 in English and held by 3 WorldCat member libraries worldwide

Machines d'Eilenberg effectives by Benoît Razet( Book )

1 edition published in 2009 in French and held by 2 WorldCat member libraries worldwide

La théorie des automates est apparue pour résoudre des problèmes aussi bien pratiques que théoriques, et ceci dès le début de l'informatique. Désormais, les automates font partie des notions fondamentales de l'informatique, et se retrouvent dans la plupart des logiciels. En 1974, Samuel Eilenberg proposa un modèle de calcul qui unifie la plupart des automates (transducteurs, automates à pile et machines de Turing) et qui a une propriété de modularité intéressante au vu d'applications reposant sur différentes couches d'automates ; comme cela peut être le cas en linguistique computationnelle. Nous proposons de rendre effectif ce modèle en étudiant des techniques de simulation. Le simulateur est défini par un programme fonctionnel énumérant progressivement les solutions en explorant un espace de recherche selon différentes stratégies. Nous introduisons la notion de machines d'Eilenberg finies pour lesquelles nous fournissons une preuve formelle de correction de la simulation. La composante de contrôle d'une machine d'Eilenberg est un automate fini non-déterministe; dans ce contexte, on peut utiliser une expression régulière comme syntaxe pour décrire cet automate. Récemment, un ensemble de travaux approfondissant la notion de dérivées de Brzozowski, a été la source d'algorithmes efficaces de synthèse d'automates non-déterministes à partir d'expressions régulières. Ces algorithmes sont de nature algébrique et nous en faisons un état de l'art, tout en donnant une implémentation en OCaml permettant de les comparer les uns aux autres dans un cadre commun
Le Projet prévision-réalisation des vols : par Gérard Huet by Gérard Huet( Book )

1 edition published in 1970 in French and held by 2 WorldCat member libraries worldwide

Experiments with an Interactive Prover for Logic with Equality by Gérard Huet( Book )

3 editions published in 1971 in English and held by 2 WorldCat member libraries worldwide

A computer program has been developed to prove theorems in first order predicate calculus with equality. This program accepts as input the axioms, definitions and lemmata necessary for the proof, and the negation of the theorem to be proven. It attempts to find a contradiction in this set of clauses, and in case of a success it gives the proof of the theorem, i.e., the chain of deducations necessary to find the inconsistency. The results obtained so far show that the methods used by the program are well suited to the treatment of the equality relation, and that the interactive facilities provide the user with an effective mean of communication with the program in order to direct the proof search. (Author)
Survey of a few fundamental representation structures for computational linguistics by Christian Retoré( Book )

1 edition published in 2002 in English and held by 2 WorldCat member libraries worldwide

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions by Yves Bertot( Book )

1 edition published in 2010 in English and held by 2 WorldCat member libraries worldwide

Publisher description: "Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software."
Spécifications pour une base commune de données by Gérard Huet( Book )

1 edition published in 1971 in French and held by 2 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.68 (from 0.52 for Sanskrit c ... to 0.98 for Survey of ...)

Logical foundations of functional programming
Alternative Names
Gérard Huet Frans informaticus

Gérard Huet fransk ingeniør og informatikar

Gérard Huet fransk ingeniør og informatiker

Gérard Huet fransk ingenjör och datavetare

Gérard Huet französischer Informatiker

Gérard Huet French computer scientist

Gérard Huet logicien et chercheur en informatique théorique français

Huet, Gèrard

Huet, Gérard P.

Huet Gérard Pierre 1947-....

Юэ, Жерар

Languages
English (84)

French (9)

Covers
Logical frameworksLogical environmentsSanskrit computational linguistics : third international symposium, Hyderabad, India, January 15 - 17, 2009 ; proceedingsFrom semantics to computer science : essays in honour of Gilles Kahn