VIAF

Virtual International Authority File

Search

Kahn, G. Library of Congress/NACO

Kahn, Gilles, 1946-2006 National Library of the Netherlands-test Sudoc [ABES], France National Library of France

Kahn, Gilles. NUKAT Center of Warsaw University Library Wikipedia (en) National Library of Poland ISNI-test

VIAF ID: 9967954 (Personal)

Permalink: http://viaf.org/viaf/9967954

ISNI-test: 0000  0001  1593  3717 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples National Library of France
Construction, amélioration de programmes Sudoc [ABES], France National Library of France
Coroutines and networks of parallel processes National Library of France Library of Congress/NACO
Domaines concrets Sudoc [ABES], France
From semantics to computer science : essays in honour of Gilles Kahn National Library of the Netherlands-test
Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987, proceedings NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
˜L'œinformatique le logiciel National Library of France
Manuel d'utilisation FLIP = user's manual Sudoc [ABES], France
˜A œPreliminary theory for parallel programs National Library of France
Proof presentationfor calculus of inductive constructions. Sudoc [ABES], France
Proving and improving programs Sudoc [ABES], France National Library of France Library of Congress/NACO
˜La œrecherche et développement, clé d'un nouvel essor des télécommunications en France Sudoc [ABES], France National Library of France
Semantics of concurrent computation NUKAT Center of Warsaw University Library
Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings NUKAT Center of Warsaw University Library National Library of Poland Library of Congress/NACO National Library of the Netherlands-test Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (7)

Open Section Close Section About

Open Section Close Section History of VIAF ID:9967954 (22)