close
1.

図書
図書
1. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings (: gw ; : us)
edited by Pierre Lescanne
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 285 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 256
所蔵情報: loading…
2.

図書
図書
2. Rewriting techniques and applications : Dijon, France, May 20-22, 1985 (: gw ; : us)
edited by Jean-Pierre Jouannaud
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  vi, 440 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 202
所蔵情報: loading…
目次情報: 続きを見る
History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch
Rewrite Methods for Theorem Proving in First Order Theory with Equality / J. Hsiang
Unification in Combinations of Collapse-Free Regular Theories / K.A. Yellick
Unification Problems with One-Sided Distributivity / E. Tiden ; S. Arnborg
Complexity of Matching Problems / D. Benanav ; D. Kapur ; P. Narendran
Index
History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch
3.

図書
図書
3. Algebraic algorithms and error-correcting codes : 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985, proceedings (: gw ; : us)
edited by Jacques Calmet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  vii, 415 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 229
所蔵情報: loading…
4.

図書
図書
4. Theory of algorithms
edited by L. Lovász and E. Szemerédi
出版情報: Amsterdam : North-Holland, 1985  430 p. ; 25 cm
シリーズ名: Colloquia Mathematica Societatis János Bolyai ; 44
所蔵情報: loading…
5.

図書
図書
5. Generating all combinations and partitions. 日本語版
Donald E. Knuth著 ; 筧一彦訳
出版情報: 東京 : アスキー, 2008.3  vi, 154p ; 27cm
シリーズ名: Ascii Addison Wesley programming series ; . The art of computer programming / Donald E. Knuth著 ; volume. 4, fascicle. 3
所蔵情報: loading…
6.

図書
図書
6. Generating all trees : history of combinatorial generation. 日本語版
Donald E. Knuth著 ; 筧一彦, 小出洋訳
出版情報: 東京 : アスキー・メディアワークス , 東京 : 角川グループパブリッシング (発売), 2010.3  vii, 118p ; 27cm
シリーズ名: Ascii Addison Wesley programming series ; . The art of computer programming / Donald E. Knuth著 ; volume 4, fascicle 4
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼