VIAF

Virtual International Authority File

Search

Kahn, G. Library of Congress/NACO National Library of Israel BIBSYS

Kahn, Gilles, 1946-2006 German National Library National Library of the Netherlands National Library of France NUKAT Center of Warsaw University Library Sudoc [ABES], France

Gilles Kahn Wikidata ISNI

Kahn, Gilles BIBSYS National Library of Poland

VIAF ID: 9967954 (Personal)

Permalink: https://viaf.org/viaf/9967954

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close Section 5xx's: Related Names (1)

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
Compiling typol programs with attribute grammars. Sudoc [ABES], France
Coroutines and networks of parallel processes Library of Congress/NACO National Library of France
Domaines concrets Sudoc [ABES], France
From semantics to computer science : essays in honour of Gilles Kahn National Library of the Netherlands
Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987, proceedings BIBSYS National Library of the Netherlands Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France
informatique le logiciel National Library of France
Manipulation de programmes pascal au niveau des concepts du langage Sudoc [ABES], France
Manuel d'utilisation FLIP = user's manual Sudoc [ABES], France
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 BIBSYS NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO National Library of Poland National Library of Israel
Spécifications sémantiques dans le système mentor Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

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