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

• 2月19日(水) 紹介者: 島貫健太郎
  Pierre Rety, Julie Vuotto,
  Tree automata for rewrite strategies,
  Journal of Symbolic Computation, Vol. 40, Issue 1, pp. 749-794, 2005.
• 2月5日(水) 紹介者： 鈴木貴樹
  James Cheney,
  Equivariant unification,
  Journal of Automated Reasoning, Vol. 45, Issue 3, pp. 267-300, 2010.
• 1月29日(水) 紹介者： 佐藤洸一
  Shin-ya Katsumata, Susumu Nishimura,
  Algebraic fusion of functions with an accumulating parameter and its improvement,
  Journal of Functional Programming, Vol. 18, Issue 5-6, pp. 781-819, 2008.
• 12月19日(木) 紹介者： 大澤弘基
  Ugo Dal Lago, Simone Martini,
  On constructor rewrite systems and the lambda-calculus,
  Logical Methods in Computer Science, Vol. 8, Issue 3, Paper 12, 2012.
• 12月11日(水) 紹介者: 島貫健太郎
  Adel Bouhoula,
  Simultaneous Checking of Completeness and Ground Confluence for Algebraic Specification,
  ACM Trans. Comput. Log. 10(3), 2009.
• 11月20日(水),27日(水),12月4日(水) 紹介者: 鈴木貴樹
  Maribel Ferna'ndez, Murdoch J. Gabbay,
  Nominal rewriting,
  Information and Computation, Vol. 205, Issue 6, pp. 917-965, 2007.
• 11月13日(水) 紹介者: 佐藤洸一
  Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi,
  Manipulating accumulative functions by swapping call-time and return-time computations,
  Journal of Functional Programming, Vol. 22, Issue 3, pp. 275-299, 2012.
• 10月24日(木),30日(水) 紹介者: 四方駿作
  Leo Bachmair, Ashish Tiwari, Laurent Vigneron,
  Abstract Congruence Closure,
  Journal of Automated Reasoning, Vol. 31,Issue 2, pp. 129-168, 2003.
• 10月9日(水) 紹介者: 内田和真
  Nao Hirokawa, Aart Middeldorp,
  Decreasing Diagrams and Relative Termination,
  Journal of Automated Reasoning, Vol. 47, Issue 4, pp. 481-501, 2011.
• 7月23日(水) 紹介者: 外山芳人
  Yoshihito Toyama,
  Termination proof of S-expression rewriting systems with recursive path relations,
  In Proceedings of the 19th International Conference on Rewriting Techniques and Applications (RTA 2008), LNCS 5117, pp. 381-391, 2008.
• 7月10日(水) 紹介者: 島貫健太郎
  M. Avanzini, G. Moser,
  A Combination Framework for Complexity,
  24th International Conference on Rewriting Techniques and Applications, pp. 68-83, 2013.
• 7月3日(水) 紹介者: 鈴木貴樹
  K. Baba, S. Hirokawa, K. Fujita,
  Parallel Reduction in Type Free λμ-Calculus,
  Electronic Note in Theoretical Computer Science 42, pp. 52-66, 2001.
• 6月19日(水) 紹介者: 菊池健太郎
  F. Joachimski, R. Matthes,
  Standardization and Confluence for a Lambda Calculus with Generalized
  Applications, In Proc. of RTA'00, LNCS 1833, pp. 141-155, 2000.
• 6月12日(水) 紹介者: 佐藤洸一
  J. Giesl, A. Kühnemann, J. Voigtländer,
  Deaccumulation techniques for improving provability,
  Journal of Logic and Algebraic Programming 71, pp. 79-113, 2007.
• 5月29日(水) 紹介者: 四方駿作
  L. Kaiser,
  Confluence of Right Ground Term Rewriting Systems Is Decidable,
  LNCS 3441, pp. 470-489, 2005.
• 5月16日(木) 紹介者: 内田和真
  H. Zankl, B. Felgenhauer, A. Middeldorp,
  Labelings for Decreasing Diagrams,
  In:Proc. 22nd RTA, LIPIcs, 2011.

webmaster