WorldCat Identities

Huet, Gérard

Overview
Works: 25 works in 91 publications in 2 languages and 1,776 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other
Classifications: Q390, 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( Book )

9 editions published in 1991 in English and Undetermined and held by 210 WorldCat member libraries worldwide

Logical environments by implementation and experiment Logical frameworks: design( Book )

8 editions published in 1993 in English and Undetermined and held by 177 WorldCat member libraries worldwide

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

26 editions published between 2008 and 2009 in English and Undetermined and held by 117 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

Systemes d'information : introduction a une construction participative by Gérard Huet( Book )

6 editions published in 1980 in French and held by 46 WorldCat member libraries worldwide

Sanskrit computational linguistics : first and second international symposia, [first International Sanskrit Computational Linguistics Symposium], Rocquencourt, France, October 29 - 31, 2007, [second International Sanskrit Computational Linguistics Symposium], Providence, RI, USA, May 15 - 17, 2008 ; revised selected and invited papers by Gérard Huet( )

3 editions published in 2009 in English and Undetermined and held by 14 WorldCat member libraries worldwide

This volume constitutes the thoroughly refereed post-conference proceedings of the First and Second International Symposia on Sanskrit Computational Linguistics, held in Rocquencourt, France, in October 2007 and in Providence, RI, USA, in May 2008 respectively.The 11 revised full papers of the first and the 12 revised papers of the second symposium presented with an introduction and a keynote talk were carefully reviewed and selected from the lectures given at both events. The papers address several topics such as the structure of the Paninian grammatical system, computational linguistics, lexicography, lexical databases, formal description of sanskrit grammar, phonology and morphology, machine translation, philology, and OCR
From semantics to computer science : essays in honour of Gilles Kahn by Yves Bertot( Book )

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

Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn'Äôs achievements and reflects the broad range of subjects to which he contributed through his scientific research and his work at INRIA, the French National Institute for Research in Computer Science and Control. The authors also reflect upon the future of computing: how it will develop as a subject in itself and how it will affect other disciplines, from biology and medical informatics, to web and networks in general. Its breadth of coverage, topicality, originality and depth of contribution, make this book a stimulating read for all those interested in the future development of information technology
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
Construction, amélioration de programmes by Institut de recherche d'informatique et d'automatique (France)( Book )

1 edition published in 1975 in English and held by 5 WorldCat member libraries worldwide

<> 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

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

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

Proceedings of first international symposium on sanskrit computational linguistics Paris [Centre de recherche de Paris-Rocquencourt], October 29-31, 2007 by International Symposium on Sanskrit Computational Linguistics( Book )

1 edition published in 2007 in English and held by 2 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
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

A mechanization of type theory by Gérard Huet( Book )

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

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

Le Projet prévision-réalisation des vols : par Gérard Huet by Gérard Huet( Book )

1 edition published in 1970 in Undetermined 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.70 (from 0.52 for Sanskrit c ... to 0.98 for Survey of ...)

Logical foundations of functional programming
Alternative Names
Grard Huet fransk ingenir og informatikar

Grard Huet fransk ingenir og informatiker

Grard Huet fransk ingenjr och datavetare

Grard Huet franzsischer Informatiker

Grard Huet French computer scientist

Grard Huet logicien et chercheur en informatique thorique franais

Huet, Grard

Huet, Grard P.

Huet Grard Pierre 1947-....

Languages
English (65)

French (14)

Covers
Logical frameworksLogical environmentsSanskrit computational linguistics : third international symposium, Hyderabad, India, January 15 - 17, 2009 ; proceedingsSanskrit computational linguistics : first and second international symposia, [first International Sanskrit Computational Linguistics Symposium], Rocquencourt, France, October 29 - 31, 2007, [second International Sanskrit Computational Linguistics Symposium], Providence, RI, USA, May 15 - 17, 2008 ; revised selected and invited papersFrom semantics to computer science : essays in honour of Gilles Kahn