close
1.

図書

図書
edited by Pierre Lescanne
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 285 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 256
所蔵情報: loading…
2.

図書

図書
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.

図書

図書
edited by Jacques Calmet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  vii, 415 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 229
所蔵情報: loading…
4.

図書

図書
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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼