. . . "A écrit aussi en anglais"@fr . "Sevran (Seine-Saint-Denis)" . . . . . "Nivat" . "2017"^^ . . . . . . . . . . . . "1985-06-22" . . . . "Clermont-Ferrand (Puy-de-Dôme, France)" . . . . . . . . "VIAF" . . . "Sevran (Seine-Saint-Denis)" . . . . . . . . . . . . . . "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. - . -"@fr . . "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)" . . . . "Maurice Nivat" . . . . . . . . "1937"^^ . . "11917747"^^ . . . . . . "12-21" . . . "Maurice" . . . . . . . . "A écrit aussi en anglais" . . . . "Maurice Nivat (1937-2017)"@fr . "WW, France 1992-1993. - . - Le Monde (article nécrologique), 2017-09-29. - . - Société mathématique de France. - http://smf.emath.fr/content/d%C3%A9c%C3%A8s-de-maurice-nivat. - 2017-09-26"@fr . . . . . "Clermont-Ferrand (Puy-de-Dôme, France)" . . "2017-09-21" . . . . . . . . "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)" . . . . . . "1937-12-21" . . . . . . . . "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)"@fr . "0000000121229574" . "A écrit aussi en anglais" . . "2017-09-29" . . "male" . "2013-07-24"^^ . .