Maurice Nivat
8 published titles
Automata, languages and programming : proceedings of a symposium organized by Institut de Recherche d'Informatique et d'Automatique, 78 - Rocquencourt, France, July 3-7, 1972
(Contributor)
1 edition
- ISBN: 0720420741
- North-Holland Publishing Co.
- 1973
- Details
Programming of future generation computers : proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers, Tokyo, Japan, 6-8 October 1986
(Contributor)
1 edition
- ISBN: 0444704108
- North-Holland
- 1988
- Details
Algebraic methodology and software technology : (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991
(Contributor)
1 edition
- ISBN: 3540197974
- Springer, published in collaboration with the British Computer Society
- 1992
- Details
Tree automata and languages
(Contributor)
1 edition
- ISBN: 0444890262
- Elsevier Science Publishers
- 1992
- Details
Algebraic methodology and software technology (AMAST '93) : Proceedings of the Third International Conference on AlgebraicMethodology and Software Technology, University of Twente, The Netherlands, 21
(Contributor)
1 edition
- ISBN: 3540198520
- Springer-Verlag
- 1993
- Details
Algebraic methodology and software technology (AMAST'91) : proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, The Netherlands, 21
(Contributor)
1 edition
- ISBN: 3540198520
- Springer-Verlag
- 1994
- Details
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, Lis
(Contributor)
1 edition
- ISBN: 3540643001
- Springer
- 1998
- Details
Resolution of equations in algebraic structures
(Contributor)
1 edition
- ISBN: 0120463709
- Academic Press
- Details
