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. | |
Dynamical behaviour of automata networks. | |
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 | |
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. | |
Structuration des systèmes de transitions : applications au contrôle du parallélisme par Files Fifo | |
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 |