外山研輪講 紹介論文一覧 (2015年度)

• 12月16日(水) 紹介者: 伊藤佑太
  Jan Willem Klop, Aart Middeldorp,
  An Introduction to Knuth-Bendix Completion,
  CWI Quarterly, Vol.1, No3, pages31 - 52, 1988.
• 12月9日(水) 紹介者: 小野沢倖太
  Thomas Arts, Jurgen Giesl,
  Termination of term rewriting using dependency pairs,
  Theoretical Computer Science 236, pages 133-178, 2000.
• 12月1日(火) 紹介者: 神野祐磨
  U.S.Reddy,
  Term rewriting induction,
  In Proc. of the 10th International Conference on Automated Deduction,
  volume 449 of LNAI, pages 162-177. SpringerVerlag, 1990.
• 11月11日(水) 紹介者: 古川克貴
  Julian Nagele, Bertram Felgenhauer, and Aart Middeldorp,
  Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules,
  26th International Confluence on Rewriting Techniques and Applications (RTA'15).
• 10月21日(水) 紹介者: 田端勇士
  小池広高　外山芳人,
  潜在帰納法と書換え帰納法の比較,
  コンピュータソフトウェア, Vol.17, No.6 (2000), pp.1-12.
• 9月30日(水) 紹介者: 小野沢倖太
  Vincent van Oostrom,
  Developing developments,
  Theoretical Computer Science, 175, pp. 159-181, 1997.
• 9月16日(水) 紹介者: 神野祐磨
  Klaus Becker,
  How to Prove Ground Confluence,
  SEKI-rep.SR-96-02,1996.
• 7月22日(水) 紹介者: 田端勇士
  Yoshihito Toyama,
  How to prove equivalence of term rewriting systems without induction,
  Theoretical Computer Science, 90(2), pp. 369-390, 1991.
• 6月18日(木) 紹介者: 田端勇士
  古市祐樹, 西田直樹, 酒井正彦, 草刈圭一郎, 坂部俊樹,
  制約付き項書き換え系の潜在帰納法を利用した手続き型プログラム検証の試み,
  情報処理学会論文誌　プログラミング, Vol. 1 No.2, pp100-121, 2008.
• 5月27日(水) 紹介者: 小野沢倖太
  Wayne Snyder, Jean Gallier,
  Higher-Order Unification Revisited: Complete Sets of Transformations,
  Symbolic Computation, Vol. 8, pp. 101-140, 1989.
• 5月13日(水) 紹介者: 神野祐磨
  Kapur Deepak, Narendran Paliath, Zhang Hantao,
  On sufficient-completeness and related properties of term rewriting systems,
  Acta Informatica, Vol. 24, pp. 395-415, 1987.

webmaster