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

• 11月2日(水) 紹介者: 伊藤佑太
  Bernhard Gramlich,
  Abstract Relations between Restricted Termination and Confluence Properties of Rewrite Systems,
  Fundamenta Informaticae 24, pp.3-23, 1995.
  
• 9月28日(水) 紹介者: 神野祐磨
  Franziska Rapp, Aart Middeldorp,
  Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems,
  In Proceedings of 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Leibniz International Proceedings in Informatics, vol.52, pp.36:1-36:12, 2016.
  
• 9月21日(水) 紹介者: 小野沢倖太
  Michio Oyamaguchi, Nao Hirokawa,
  Confluence and Critical-Pair-Closing Systems,
  3rd International Workshop on Confluence, pp. 29-33, 2014.
  
• 7月6日(水) 紹介者: 伊藤佑太
  Yves Metivier,
  About the rewriting systems produced by the knuth-bendix completion algorithm,
  Information Processing Letters 16, pp.31-34, 1983.
  
• 5月25日(水) 紹介者: 小野沢倖太
  Richard Mayr and Tobias Nipkow,
  Higher-Order Rewrite Systems and their Confluence,
  Theoretical Computer Science 192, pp. 3-29, 1998.
  
• 5月18日(水) 紹介者: 神野祐磨
  Takahito Aoto, Yoshihito Toyama,
  Ground Confluence Prover based on Rewriting Induction,
  In Proceedings of 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016),
  Leibniz International Proceedings in Informatics Vol.52, pp.33:1-33:12, 2016.
  

webmaster