1.

図書
図書
1. Tree automata and languages
edited by Maurice Nivat, Andreas Podelski
出版情報: Amsterdam : North-Holland, 1992
シリーズ名: Studies in computer science and artificial intelligence ; 10
所蔵情報: loading…
2.

図書
図書
2. Algebraic techniques
edited by Hassan Aït-Kaci, Maurice Nivat
出版情報: Boston ; Tokyo : Academic Press, c1989
シリーズ名: Resolution of equations in algebraic structures ; v. 1
所蔵情報: loading…
3.

図書
図書
3. Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings (: gw)
V.S. Alagar, Maurice Nivat, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 936
所蔵情報: loading…
4.

図書
図書
4. Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
Martin Wirsing, Maurice Nivat (eds.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1101
所蔵情報: loading…
5.

図書
図書
5. 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
Maurice Nivat (ed.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1378
所蔵情報: loading…
6.

図書
図書
6. CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings (: gw ; : us)
M. Dauchet, M. Nivat (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 299
所蔵情報: loading…