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

• 12月21日(水) 紹介者: 内田和真
  T. Aoto, Y. Toyama,
  Reduction-preserving completion for proving confluence of non-terminating term rewriting systems,
  Leibniz International Proceedings in Informatics, Vol. 10, pp. 91-106, 2011.
• 12月21日(水) 紹介者: 四方駿作
  F. Jacquemard,
  Decidable Approximations of Term Rewriting Systems,
  LNCS 1103, pp. 362-376, 1996.
• 11月16日(水) 紹介者: 中嶋辰成
  Martin Korp, Aart Middeldorp,
  Match-bounds revisited,
  Information and Computation 207, pp. 1259-1283, 2009.
• 11月2日(水) 紹介者: 高橋翔大
  M. R. K. krishna Rao,
  Some classes of term rewriting systems inferable from positive data,
  Theoretical Computer Science 397, pp. 129-149, 2008.
• 10月26日(水) 紹介者: 椛澤涼
  Yoshihito Toyama,
  Commutativity of term rewriting systems,
  in: K. Fuchi and L. Kott, eds., Programming of Future Generation Computer II, pp. 393-407, (North-Holland, 1988).
• 10月19日(水) 紹介者: 的場正樹
  Harald Zankl, Bertram Felgenhauer, and Aart Middeldorp,
  Labelings for Decreasing Diagrams,
  In:Proc. 22nd RTA, LIPIcs, 2011.
• 10月5日(水) 紹介者: 鈴木翼
  Carsten Fuhs, Jurgen Giesl, Michael Parting, Peter Schneider-Kamp and Stephan Swiderski,
  Proving Termination by Dependency Pairs and Inductive Theorem Proving,
  Journal of Automated Reasoning, Volume 47 Number 2, pp. 133-160, 2011.
• 9月21日(水) 紹介者: 鈴木聖耶
  Maribel Fernandez and Albert Rubio,
  Reduction Orderings and Completion for Rewrite Systems with Binding,
  Available from www.dcs.kcl.ac.uk/staff/maribel, 2010.
• 7月21日(木) 紹介者: 中嶋辰成
  M. Oyamaguchi, Y. Ohta,
  The unification problem for confluent right-ground term rewriting systems,
  Information and Computation, Volume 183, pp. 187-211, 2003.
• 6月29日(水) 紹介者: 高橋翔大
  G. Feuillade, T. Genet,V. Viet Triem Tong,
  Reachability Analysis over Term Rewriting Systems,
  Journal of Automated Reasoning, Volume 33, pp. 341-383, 2004. 　
• 6月22日(水) 紹介者: 椛澤涼
  Martin Abadi,
  Secrecy by Typing in Security Protocols,
  Journal of the ACM, Volume 46 Issue 5, pp. 749-786, 1999.
• 6月8日(水) 紹介者: 鈴木聖耶
  Christian Urban, Andrew M. Pitts, Murdoch J. Gabbay,
  Nominal unification,
  Theoretical Computer Science, vol. 323, pp. 473-497, 2004.
• 5月25日(水) 紹介者: 的場正樹
  Nao Hirokawa, Aart Middeldorp,
  Decreasing Diagrams and Relative Termination,
  IJCAR 2010, LNAI 6173, pp. 487-501, 2010.
• 5月18日(水) 紹介者: 鈴木翼
  Yoshihito Toyama,
  Membership conditional term rewriting systems,
  IEICE Transactions, Vol.E72, No.11, pp. 1224-1229, 1989.

webmaster