close
1.

図書
図書
1. The wide spectrum language CIP-L (: gw ; : us)
Bauer, Friedrich Ludwig, 1924- ; CIP Language Group
出版情報: Berlin ; New York : Springer-Verlag, c1985  xi, 275 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 183 . The Munich Project CIP / by the CIP Language Group, F.L. Bauer ... [et al.] ; v. 1
所蔵情報: loading…
2.

図書
図書
2. STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 (: gw ; : us)
edited by K. Mehlhorn
出版情報: Berlin ; Tokyo : Springer-Verlag, 1985  vii, 374 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 182
所蔵情報: loading…
3.

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

図書
図書
4. Advances in cryptology : proceedings of EUROCRYPT 84, a Workshop on the Theory and Application of Cryptographic Techniques, Paris, France, April 9-11, 1984 (: gw ; : us)
edited by T. Beth, N. Cot, and I. Ingemarsson
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1985  vii, 489 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 209
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼