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

• 12月16日(水) 紹介者: 鈴木(翼)
  Jurgen Giesl,
  Context Moving Transformations for Function Verfication,
  Lecture Notes in Computer Science 1817, pp.293-312, 2000.
• 12月16日(水) 紹介者: 的場
  Vincent van Oostrom,
  Confluence by decreasing diagrams,
  Theoretical Computer Science 126, pp.259-280, 1994.
  
• 12月9日(水) 紹介者: 鈴木(貴)
  Dieter Hofbauer, Johannes Waldmann,
  Deleting string rewriting systems preserve regularity,
  Theoretical Computer Science Volume 327, Issue 3,2 Novemver 2004, Pages 301-317.
• 11月25日(水) 紹介者: 磯部
  Toshiyasu Arai and Naohi Eguchi,
  A new function algebra of EXPTIME functions by safe nested recursion,
  ACM Transactions on Computational Logic Volume 10, Issue 4, 2009.
• 11月4日(水) 紹介者: 村井
  Robert Nieuwenhuis, Albert Oliveras,
  Fast congruence closure and extensions,
  Infomation and Computation Vol.205, pp 557-580, 2007.
• 10月28日(水) 紹介者: 道又
  Richard Mayr,
  Process Rewrite Systems,
  Information and Computation Volume 156, Issues 1-2, 10 January 2000, Pages 264-286.
• 7月15日(水) 紹介者: 村井
  Guillem Godoy, Ashish Tiwari, Rakesh M. Verma,
  Deciding confluence of certain term rewriting systems in polynomial time,
  Ann. Pure Appl. Logic 130, pp.33-59, 2004.
• 6月17日(水) 紹介者: 磯部
  J.Y.Marion,
  Analysing the implicit complexity of programs,
  Information and Computation 183, pp.2-18, 2003.
• 6月10日(水) 紹介者: 道又
  Jean-Pierre Jouannaud and Helene Kirchner,
  Completion of A Set of Rules Modulo A Set of Equations,
  SIAM Journal on Computing, Vol. 15, No. 4, pp. 1155-1194, 1986.
• 5月27日(水) 紹介者: 青戸
  Niklas Een and Niklas Sorensson,
  Translating Pseudo-Boolean Constraints into SAT,
  Journal on Satisfiability, Boolean Modeling and Computation, Vol.2, pp.1-26, 2006.
• 5月13日(水) 紹介者: 外山
  Joost Engelfriet,
  Bottom-up and top-down tree transformations - a comparison,
  Mathematical Systems Theory 9(3): pp.198-231 (1975)

webmaster