Kahn, G.
Kahn, Gilles, 1946-2006
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Kahn, Gilles
Gilles Kahn
VIAF ID: 9967954 (Personal)
Permalink: http://viaf.org/viaf/9967954
Preferred Forms
-
100 0 _
‡a
Gilles Kahn
-
100 0 _
‡a
Gilles Kahn
-
200 _ |
‡a
Kahn
‡b
Gilles
‡f
1946-2006
-
100 1 0
‡a
Kahn, G.
-
100 1 _ ‡a Kahn, G.
-
100 1 _ ‡a Kahn, G.
-
100 1 _
‡a
Kahn, G.
-
100 1 _ ‡a Kahn, Gilles
-
100 1 _ ‡a Kahn, Gilles
-
100 1 _ ‡a Kahn, Gilles
-
100 1 _ ‡a Kahn, Gilles
-
100 1 _ ‡a Kahn, Gilles ‡d (1946-2006).
-
100 1 _
‡a
Kahn, Gilles
‡d
1946-2006
-
100 1 _ ‡a Kahn, Gilles, ‡d 1946-2006
-
100 1 _
‡a
Kahn, Gilles,
‡d
1946-2006
4xx's: Alternate Name Forms (14)
5xx's: Related Names (4)
- 551 _ _
‡a
Garches
‡4
orts
‡4
https://d-nb.info/standards/elementset/gnd#placeOfDeath
- 510 2 _
‡a
Institut National de Recherche en Informatique et en Automatique
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
- 500 1 0
‡a
Kahn, Gilles
- 551 _ _
‡a
Paris
‡4
ortg
‡4
https://d-nb.info/standards/elementset/gnd#placeOfBirth
Works
| Title | Sources |
|---|---|
| Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples |
|
| Approche multi-processus pour la coopération entre systèmes à base de connaissances |
|
| Une automatisation du calcul des résidus en sémantique naturelle |
|
| Compiling typol programs with attribute grammars. |
|
| Construction, amélioration et vérification de programmes = Proving and improving programs |
|
| Coroutines and networks of parallel processes |
|
| Domaines concrets |
|
| Environnement graphique distribué pour le calcul formel |
|
| Une formalisation des structures de contrôle de Prolog |
|
| Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987, proceedings |
|
| L' informatique : le logiciel |
|
| Manipulation de programmes pascal au niveau des concepts du langage |
|
| Manuel d'utilisation FLIP = user's manual |
|
| Preliminary theory for parallel programs |
|
| Proof presentationfor calculus of inductive constructions. |
|
| La recherche et développement, clé d'un nouvel essor des télécommunications en France |
|
| Semantics of concurrent computation |
|
| Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings |
|
| Spécifications sémantiques dans le système mentor |
|
| Un système d'inférence de relations intertypes pour Prolog : application à la génération de modèles objets |
|
| Techniques informatiques dans la vérification des gardes technologiques des circuits intégrés |
|
| Vers un environnement d’aide au développement de preuves en sémantique naturelle |
|
