close
1.

図書
図書
1. Algebraic methods in semantics
edited by Maurice Nivat, John C. Reynolds
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985  xv, 634 p. ; 24 cm
所蔵情報: loading…
2.

図書
図書
2. 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  viii, 303 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 299
所蔵情報: loading…
目次情報: 続きを見る
Complexity
Rewriting
Algebraic Specifications
Parallelism and Concurrency
Invited Lectures
Author Index
Complexity
Rewriting
Algebraic Specifications
3.

図書
図書
3. 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  x, 287 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1378
所蔵情報: 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  xii, 640 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1101
所蔵情報: loading…
5.

図書
図書
5. 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  xiv, 591 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 936
所蔵情報: loading…
6.

図書
図書
6. Automata on infinite words (: gw ; : us)
Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  iv, 215 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 192
所蔵情報: loading…
7.

図書
図書
7. Programming of future generation computers : proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers, Tokyo, Japan, 6-8 October, 1986 ([1] ; 2)
edited by K. Fuchi, M. Nivat
出版情報: Amsterdam ; Tokyo : North-Holland, 1988  2 v. ; 25 cm
所蔵情報: loading…
8.

図書
図書
8. 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 (us ; ne)
edited by M. Nivat
出版情報: Amsterdam : North-Holland Pub. Co , New York : American Elsevier, 1973  622 p. ; 23 cm
所蔵情報: loading…
9.

図書
図書
9. Tree automata and languages
edited by Maurice Nivat, Andreas Podelski
出版情報: Amsterdam : North-Holland, 1992  viii, 485 p. ; 25 cm
シリーズ名: Studies in computer science and artificial intelligence ; 10
所蔵情報: loading…
目次情報: 続きを見る
Binary Tree Codes / M. Nivat
Suffix, Prefix and Maximal Tree Codes / P. Aigrain
A Monoid Approach to Tree Automata / A. Podelski
A Theory of Tree Language Varieties / M. Steinby
Interpretability and Tree Automata: A Simple Way to Solve Algorithmic Problems on Graphs Closely Related to Trees / D. Seese
Computing Trees with Graph Rewriting Systems with Priorities / I. Litovsky ; Y. Metivier
Recognizable Sets of Unrooted Trees / B. Courcelle
Fixed Point Characterization of Weak Monadic Logic Definable Sets of Trees / A. Arnold ; D. NiwiDski
Automata on Infinite Trees and Rational Control / A. Saoudi ; P. Bonizzoni
Recognizing Sets of Labelled Acyclic Graphs / P. Bonizzoni et al.
Rational and Recognizable Infinite Tree Sets
Algebraic Specification of Action Trees and Recursive Processes / M. Große-Rhode ; C. Dimitrovici
Trees and Algebraic Semantics / I. Guessarian
A Survey of Tree Transductions / J.C. Raoult
Structural Complexity of Classes of Tree Languages / M. Dauchet ; S. Tison
Ambiguity and Valuedness / H. Seidl
Decidability of the Inclusion in Monoids Generated by Tree Transformation Classes / Z. Fulop ; S. Vagvolgyi
Tree-adjoining Grammars and Lexicalized Grammars / A.K. Joshi ; Y. Schabes
A Short Proof of the Factorization Forest Theorem / I. Simon
Unification Procedures in Automated Deduction Methods based on Matings: A Survey / J.H. Gallier
Binary Tree Codes / M. Nivat
Suffix, Prefix and Maximal Tree Codes / P. Aigrain
A Monoid Approach to Tree Automata / A. Podelski
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼