Maurice Nivat (1937-2017)

Pays :France
Langue :français
Sexe :masculin
Naissance :Clermont-Ferrand (Puy-de-Dôme, France), 21-12-1937
Mort :Sevran (Seine-Saint-Denis), 21-09-2017
Note :
A écrit aussi en anglais
Informaticien et chercheur en informatique. - Docteur ès sciences mathématique et informatique. - Correspondant de l'Académie des sciences (depuis 1983). - Directeur du Laboratoire informatique théorique et programmation associé au CNRS et aux universités de Paris VI et VII (1975-1985)
ISNI :ISNI 0000 0001 2122 9574

Ses activités

Auteur du texte6 documents

  • Algebraic families of interpretations

    Description matérielle : 12 f.
    Description : Note : Texte d'une communication présentée au 173 Symposium on foundation of computer science, Houston, octobre 1976
    Édition : Rocquencourt : LABORIA , 1976
    Auteur du texte : Bruno Courcelle

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb365987463]
  • Automata on Infinite Words

    Ecole de Printemps d'Informatique Théorique Le Mont Dore, May 14-18, 1984

    Description matérielle : 1 online resource
    Édition : Berlin, Heidelberg : Springer-Verlag : Springer e-books , 1985

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb44689502z]
  • 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

    Description matérielle : 1 online resource
    Édition : Berlin, Heidelberg : Springer-Verlag : Springer e-books , 1998

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb44694507p]
  • On the interpretation of recursive program schemes

    Description matérielle : 33 p.
    Description : Note : Bibliogr. p. 33. - Résumé en français et en anglais
    Édition : Rocquencourt : LABORIA , 1974

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb34623563c]
  • Opérateurs sur les familles de langages

    Description matérielle : [2]-16 p. multigr.
    Description : Note : Bibliogr. p. 16. - Résumé en français et en anglais
    Édition : Rocquencourt : LABORIA , 1975

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb346466226]

Éditeur scientifique6 documents

  • Parallel image processing

    Description matérielle : VIII-467 p., pagination double p. 1-467
    Description : Note : Contient une sélection des communication présentées à l'"International conference on parallel image processing 1991" qui s'est déroulée du 17 au 19 Juin 1991 à Paris. - Bibliogr. à la fin de chaque chap.
    Édition : Singapore ; New Jersey ; London [etc.] : World scientific , cop. 1992
    Éditeur scientifique : Ahmed Saoudi

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37401825t]
  • Resolution of equations in algebraic structures Volume 2

    Rewriting techniques

    Description matérielle : XX-379 p.
    Description : Note : Bibliogr. p. 364-367. Index
    Édition : Boston : Academic press , cop. 1989
    Éditeur scientifique : Hassan Aït-Kaci

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb373610517]
  • Resolution of equations in algebraic structures Volume 1

    Algebraic techniques

    Description matérielle : XXI-452 p.
    Description : Note : Bibliogr. à la fin des ch. Index
    Édition : Boston ; San Diego ; New York : Academic press , 1989
    Éditeur scientifique : Hassan Aït-Kaci

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb373610470]
  • Resolution of equations in algebraic structures

    Description matérielle : vol.
    Édition : Boston ; San Diego ; New York : Academic press , 1989-
    Éditeur scientifique : Hassan Aït-Kaci

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb373268018]
  • Théorie des algorithmes, des langages et de la programmation

    textes des exposés

    Description matérielle : 102 p.
    Description : Note : 1976 d'après la déclaration de dépôt légal. - Notes bibliogr.. - Textes en français et en anglais
    Édition : Rocquencourt : IRIA , [1976]
    Auteur du texte : Séminaire Théorie des algorithmes, des langages et de la programmation (1974 / 1975 ; Rocquencourt, Yvelines)

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb34598733g]

Rédacteur2 documents

Préfacier1 document

  • Logique et informatique, une introduction

    Description matérielle : 257 p.
    Description : Note : Notes bibliogr.. - Contributions en français à l'exception d'une seule en anglais
    Édition : Rocquencourt : Institut national de recherche en informatique et en automatique , 1991
    Directeur de publication : Bruno Courcelle
    Auteur du texte : Ecole de printemps d'informatique théorique (17 ; 1989 ; Albi)

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb35470284m]

Directeur de publication1 document

  • Algorithmique parallèle

    Description matérielle : XVII-379 p.
    Description : Note : Réunit des textes en français et en anglais présentés à la 20e Ecole de printemps du LITP, Sables-d'Or-les-Pins, mai 1992. - Notes bibliogr.
    Édition : Paris ; Milan ; Barcelone : Masson , 1992
    Directeur de publication : Michel Cosnard, Yves Robert (professeur d'informatique)

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb355201280]

Autre7 documents

  • Algebraic Methodology and Software Technology

    4th International Conference, AMAST '95 Montreal, Canada, July 3-7, 1995 Proceedings

    Description matérielle : 1 online resource
    Édition : Berlin, Heidelberg : Springer-Verlag : Springer e-books , 1995

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb44693339h]
  • Algebraic Methodology and Software Technology

    5th International Conference, AMAST '96 Munich, Germany, July 1-5, 1996 Proceedings

    Description matérielle : 1 online resource
    Édition : Berlin, Heidelberg : Springer-Verlag : Springer e-books , 1996

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb446939124]
  • CAAP '88

    13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988 Proceedings

    Description matérielle : 1 online resource
    Édition : Berlin, Heidelberg : Springer-Verlag : Springer e-books , 1988

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb44689045v]
  • Formal Methods and Software Development

    Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25-29, 1985

    Description matérielle : 1 online resource
    Édition : Berlin, Heidelberg : Springer-Verlag : Springer e-books , 1985

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb44689347c]
  • L'Intelligence de l'informatique

    Description matérielle : 159 p.
    Description : Note : Bibliogr. p. 155-157 . Index
    Édition : Paris : " Pour la science " : diffusion Belin , 1984

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb347611884]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • On the interpretation of recursive program schemes / M. Nivat, 1974
    Logique et informatique, une introduction / contributions de Serge Grigorieff, Yves Lafont, Thierry Coquand... [et al.] ; réunies et présentées par Bruno Courcelle ; avant-propos de Maurice Nivat, 1991
  • WW, France 1992-1993
    Le Monde (article nécrologique), 2017-09-29
    Société mathématique de France (2017-09-26)

Biographie Wikipedia

  • Maurice Paul Nivat, né le 21 décembre 1937 à Clermont-Ferrand, est un chercheur français en informatique. Professeur à l'Université Paris Diderot et membre du Laboratoire d'Informatique Algorithmique: Fondements et Applications (CNRS UMR 7089), il prend sa retraite en 2001 sans arrêter la recherche.Ses travaux portent sur les différents domaines de l'informatique théorique : la théorie des langages formels, la sémantique des langages de programmation et la géométrie discrète.

Pages équivalentes