VIAF

Virtual International Authority File

Search

Nivat, Maurice, 1937-2017 National Library of France Sudoc [ABES], France German National Library National Library of Lithuania

Nivat, Maurice. NUKAT Center of Warsaw University Library Library and Archives Canada BIBSYS RERO - Library Network of Western Switzerland

Nivat, Maurice, 1937- ISNI National Library of the Netherlands National Library of the Czech Republic

Nivat, M. Library of Congress/NACO National Library of Israel

Maurice Nivat chercheur en informatique.français Wikidata

VIAF ID: 19682034 (Personal)

Permalink: http://viaf.org/viaf/19682034

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
Algebraic families of interpretations National Library of France
Algebraic Methodology and Software Technology 5th International Conference, AMAST '96 Munich, Germany, July 1-5, 1996 Proceedings Sudoc [ABES], France NUKAT Center of Warsaw University Library Library of Congress/NACO Library and Archives Canada National Library of France National Library of the Netherlands German National Library BIBSYS
Algebraic methods in semantics NUKAT Center of Warsaw University Library Library of Congress/NACO BIBSYS National Library of the Netherlands RERO - Library Network of Western Switzerland
Algebraic techniques National Library of France
Algebric specification of concurrently accessed data structures. Sudoc [ABES], France
Algorithmique parallèle National Library of France Sudoc [ABES], France
AMAST '96 National Library of the Netherlands
Automata, languages, and programming : proceedings of a symposium organized by IRIA, Institut de Recherche d'Informatique et d'Automatique, 78-Rocquencourt, France, July 3-7, 1972 NUKAT Center of Warsaw University Library
Automata on infinite words : École de Printemps d'Informatique Théorique, Le Mont Dore, May 14-18, 1984 Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands RERO - Library Network of Western Switzerland German National Library BIBSYS
AUTOMATES ET THEORIE DESCRIPTIVE Sudoc [ABES], France
CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings NUKAT Center of Warsaw University Library Library of Congress/NACO Sudoc [ABES], France National Library of Israel National Library of France National Library of the Netherlands BIBSYS
Contribution à l'étude de la logique algorithmique : systèmes de déduction pour les arbres et les schémas de programmes Sudoc [ABES], France
Contribution à l'étude des relations et langages infinitaires Sudoc [ABES], France
CONTRIBUTION A L'ETUDE D'IMPLANTATION DE RESEAU TELEMATIQUE : APPLICATION : CREATION CENTRE SERVEUR TELEMATIQUE DE L'UNIVERSITE NATIONALE DE COTE D'IVOIRE Sudoc [ABES], France
Eléments de la théorie générale des codes Sudoc [ABES], France
ETUDES ET MISES EN UVRE D'OUTILS DE VERIFICATION BASEE SUR LA BISIMULATION Sudoc [ABES], France
UNE EXTENSION DE YACC, POUR ANALYSE DES GRAMMAIRES LRR, QUI AUTORISE UN EXAMEN NON BORNE DU CONTEXTE DROIT ET DE LA PILE Sudoc [ABES], France
FoSSaCS'98 National Library of the Netherlands RERO - Library Network of Western Switzerland
Foundations of Software Science and Computation Structures First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28-April 4, 1998 Proceedings Sudoc [ABES], France NUKAT Center of Warsaw University Library Library of Congress/NACO RERO - Library Network of Western Switzerland National Library of France National Library of the Netherlands German National Library BIBSYS
France. Mission "Informatique fondamentale et programmation". Savoir et savoir-faire en informatique, c1983: Library of Congress/NACO National Library of Israel
Informatique : programmation et calcul scientifique en Python et Scilab : classes préparatoires scientifiques 1re et 2e années Sudoc [ABES], France
Intelligence de l'informatique National Library of France Sudoc [ABES], France
Journées algorithmiques : 15-19 décembre 1975 : Ècole Normale Supérieure NUKAT Center of Warsaw University Library Sudoc [ABES], France
Journées informatique et conception en architecture 1971 Sudoc [ABES], France
Un langage de spécification de types abstraits algébriques Sudoc [ABES], France
UN LANGAGE MODULAIRE DE SPECIFICATIONS DE PROGRAMMES PARALLELES ET SA COMPILATION Sudoc [ABES], France
Langages algébriques : actes des premières journées d'informatique théorique, Bonascre 1973 Sudoc [ABES], France
Langages bornés arithmétiques Sudoc [ABES], France
Langages polyadiques algébriques : théorie des schémas de programmes : sémantique de l'appel par valeur Sudoc [ABES], France
Langages quasidéterministes Sudoc [ABES], France
Logique et informatique, une introduction National Library of France Sudoc [ABES], France RERO - Library Network of Western Switzerland
Méthodes d'analyse de structures de données dynamiques Sudoc [ABES], France
METHODES DE PROGRAMMATION DE MACHINE PARALLELE PYRAMIDALE. APPLICATIONS EN SEGMENTATION D'IMAGES Sudoc [ABES], France
UN MODELE DISTRIBUE Sudoc [ABES], France
Monoïdes d'arbres et automates d'arbres Sudoc [ABES], France
NOTIONS DE MODULARITE ET DE SYMETRIE POUR LES SYSTEMES REPARTIS : APPLICATION AU LANGAGE CSP Sudoc [ABES], France
Objets infinis calculables Sudoc [ABES], France
On the interpretation of recursive program schemes National Library of France Sudoc [ABES], France German National Library
Opérateurs sur les familles de langages National Library of France
Outils logiques pour l'intelligence artificielle NUKAT Center of Warsaw University Library Sudoc [ABES], France
Parallel Image Analysis : Second International Conference, ICPIA '92 Ube, Japan, December 21–23, 1992 Proceedings National Library of France Sudoc [ABES], France
Parallel image analysis : theory and applications Sudoc [ABES], France
Permutations tris Sudoc [ABES], France
Proceedings of the International Colloquium on Parallel Image Processing june 17-19, 1991 = ctes du colloque international sur le traitement parallèle des images Sudoc [ABES], France
La programmation sous Unix Sudoc [ABES], France
PROGRAMMING METHODS FOR A PYRAMIDAL PARALLEL COMPUTER. APPLICATIONS TO MID-LEVEL VISION. Sudoc [ABES], France
Programming of future generation computers. Library of Congress/NACO National Library of the Netherlands
Réductions correctes et optimales dans le lambda-calcul Sudoc [ABES], France
Resolution of equations in algebraic structures NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of France Sudoc [ABES], France BIBSYS
Rewriting techniques National Library of France
Savoir et savoir-faire en informatique rapport remis à Laurent Fabius, Ministre de l'industrie et de la recherche, et Alain Savary, Ministre de l'éducation nationale Library of Congress/NACO National Library of France Sudoc [ABES], France RERO - Library Network of Western Switzerland
[Textes] Sudoc [ABES], France
Théorie des algorithmes, des langages et de la programmation : textes des exposés du séminaire Library of Congress/NACO Sudoc [ABES], France BIBSYS National Library of France
Transductions des langages de Chomsky Sudoc [ABES], France
Tree automata and languages NUKAT Center of Warsaw University Library Library of Congress/NACO Sudoc [ABES], France RERO - Library Network of Western Switzerland National Library of France BIBSYS National Library of the Netherlands
VALIDATION OF COMMUNICATING AUTOMATA SYSTEMS WITH EVENT ACCUMULATION. Sudoc [ABES], France
VERIFICATION AUTOMATIQUE DE PROGRAMMES ESTEREL Sudoc [ABES], France

Open Section Close Section Selected Co-authors

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

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:19682034 (21)