Nivat, Maurice, 1937-2017, informaticien
Nivat, Maurice.
Nivat, Maurice 1937-2017
Nivat, Maurice, 1937-
Nivat, M.
Maurice Nivat chercheur en informatique.français
VIAF ID: 19682034 (Personal)
Permalink: http://viaf.org/viaf/19682034
Preferred Forms
-
100 0 _ ‡a Maurice Nivat ‡c chercheur en informatique.français
-
-
200 _ | ‡a Nivat ‡b Maurice ‡f 1937-2017
-
-
-
100 1 0 ‡a Nivat, M.
-
-
100 1 _ ‡a Nivat, Maurice
-
-
-
100 1 _ ‡a Nivat, Maurice ‡d 1937-
-
100 1 _ ‡a Nivat, Maurice ‡d 1937-2017
-
-
-
100 1 _ ‡a Nivat, Maurice, ‡d 1937-2017, ‡c informaticien
-
4xx's: Alternate Name Forms (17)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Algebraic methods in semantics : [seminar on "The Application of Algebra to Language Definition and Compilation", held in Fontainebleau, France in June 1982] |
![]() ![]() ![]() ![]() ![]() |
Algebraic techniques |
![]() |
Algol : théorie et pratique |
![]() |
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 |
![]() |
Automata on infinite words : École de Printemps d'Informatique Théorique, Le Mont Dore, May 14-18, 1984 |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Automates sur les mots bi-infinis |
![]() |
CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, proceedings |
![]() ![]() ![]() ![]() ![]() |
Comportement dynamique de réseaux d'automates |
![]() |
Contribution à l'étude des relations et langages infinitaires |
![]() |
CONTRIBUTION TO THE STUDY OF A TELEMATIC NETWORK IMPLEMENTATION. APPLICATION: CREATION OF THE TELEMATIC SERVER CENTER IN THE IVORY COAST NATIONAL UNIVERSITY. |
![]() |
ETUDES ET MISES EN ŒUVRE D'OUTILS DE VERIFICATION BASEE SUR LA BISIMULATION |
![]() |
UNE EXTENSION DE YACC, POUR ANALYSE DES GRAMMAIRES LRR, QUI AUTORISE UN EXAMEN NON BORNE DU CONTEXTE DROIT ET DE LA PILE |
![]() |
Une formalisation des structures de contrôle de Prolog |
![]() |
FoSSaCS'98 |
![]() |
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 |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
France. Mission "Informatique fondamentale et programmation". Savoir et savoir-faire en informatique, c1983: |
![]() ![]() ![]() |
Information fournie par un ensemble d'observateurs et applications aux questionnaires et à l'analyse des données |
![]() |
Informatique, démocratie et culture |
![]() |
Intelligence de l'informatique |
![]() ![]() |
Journées algorithmiques : 15-19 décembre 1975, École normale supérieure |
![]() ![]() |
UN LANGAGE MODULAIRE DE SPECIFICATIONS DE PROGRAMMES PARALLELES ET SA COMPILATION |
![]() |
Langages algébriques : actes des premières journées d'informatique théorique, Bonascre 1973 |
![]() |
Langages bornés arithmétiques |
![]() |
Langages quasidéterministes |
![]() |
De l'Information considérée comme un outil |
![]() |
Logique et informatique, une introduction |
![]() ![]() ![]() |
METHODES DE PROGRAMMATION DE MACHINE PARALLELE PYRAMIDALE. APPLICATIONS EN SEGMENTATION D'IMAGES |
![]() |
UN MODELE DISTRIBUE |
![]() |
UN MODELE GENERALISE POUR LE CLASSEMENT DE DOCUMENTS MULTIMEDIA |
![]() |
MOTS ULTIMEMENT PERIODIQUES DES LANGAGES RATIONNELS DE MOTS INFINIS |
![]() |
NOTIONS DE MODULARITE ET DE SYMETRIE POUR LES SYSTEMES REPARTIS : APPLICATION AU LANGAGE CSP |
![]() |
Objets infinis calculables |
![]() |
ON AUTOMATON THEORY: INFINITE TREE AUTOMATON AND LOGICAL AND PROGRAMMING APPLICATIONS. |
![]() |
On the interpretation of recursive program schemes |
![]() ![]() ![]() ![]() |
Opérateurs sur les familles de langages |
![]() |
Outils logiques pour l'intelligence artificielle |
![]() ![]() |
Parallel image processing |
![]() ![]() |
Pavages et graphes de Cayley planaires |
![]() |
La programmation sous UNIX |
![]() |
PROGRAMMING METHODS FOR A PYRAMIDAL PARALLEL COMPUTER. APPLICATIONS TO MID-LEVEL VISION. |
![]() |
Programming of future generation computers : proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers, Tokyo, Japan, 6-8 October 1986 |
![]() ![]() |
Prolégomènes à une étude algébrique des langages formels |
![]() |
Réductions correctes et optimales dans le lambda-calcul |
![]() |
Resolution of equations in algebraic structures. |
![]() ![]() ![]() ![]() ![]() |
Rewriting techniques |
![]() |
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 |
![]() ![]() ![]() |
Séminaire M. P. Schützenberger, A. Lentin et M. Nivat. |
![]() |
Spécification algébrique de types de données à accès concurrent |
![]() |
Specification language to algebraic abstract-data types. |
![]() |
Théorie des algorithmes, des langages et de la programmation : textes des exposés du séminaire |
![]() ![]() ![]() |
Tomographie discrète colloquium Jacques Morgenstern, 20 ans de recherche dans les STIC, quelle recherche dans 20 ans ?, jeudi 16 octobre 2003 |
![]() |
Transductions des langages de Chomsky |
![]() |
Tree automata and languages |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
ULTIMATELY PERIODIC WORDS OF RATIONAL W-LANGUAGES. |
![]() |
VALIDATION OF COMMUNICATING AUTOMATA SYSTEMS WITH EVENT ACCUMULATION. |
![]() |
VERIFICATION AUTOMATIQUE DE PROGRAMMES ESTEREL |
![]() |