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

• 2/6(火) 紹介者: 天地
  Yves METIVER,
  About the Rewriting Systems Produced by the Knuth-Bendix Completion Algorithm,
  Information Processing Letters 16, pp.31--34, 1983.
• 2/6(火) 紹介者: 鶴川
  Huet,G. and Lang,B.,
  Proving and Applying Program Trandformations Expressed with Second-Order Patterns,
  Acta Informatica, Vol.11, pp.31-55, 1978.
• 1/25(木) 紹介者: 千葉
  P.Wadler,
  Deforestation: Transforming Programs to Eriminate Trees,
  Theoretical Computer Science 73(1990) pp.231-248.
• 12/20(水) 紹介者: 赤間
  Y.Akama,
  Limiting the partial combinatory algebras and the representable fucntions.
  manuscript, 2000.
• 12/6(水) 紹介者: 草刈
  F.Blanqui, J.-P.Jouannaud and M.Okada,
  Inductive Data Type Systems,
  Theoretical Computer Science 277, 2001.
• 11/29(水) 紹介者: 福井
  Raymond Aubin,
  Mechanizing Structural Induction Part I & II,
  Theoretical Computer Science 9, pp.329-345 and pp.347-362, 1979.
• 10/31(水) 紹介者: 鈴木
  Richard Mayr,
  Process Rewrite Systems,
  Information and Computation 156, pp.264-286, 1999.
• 10/18(水) 紹介者: 外山
  R.Milner, J.Parrow, and D.Walker,
  A Calculus of Mobile Processes, (I) & (II),
  Information and Computation 100, pp.1-40 and pp.41-77, 1992.
• 10/11(水) 紹介者: 赤間
  Barendsen, Erik and Bezem,
  Marc Polymorphic extensions of simple type structures. With an application to a bar recursive minimization.
  Annals of Pure and Applied Logic 79(3), pp.221-280, 1996.
• 9/20(水) 紹介者: 草刈
  A.Rubio, R.Nieuwenhuis,
  A Total AC-Compatible Ordering based on RPO,
  Theoretical Computer Science 142, pp.209-227, 1995.
• 9/13(火) 紹介者: 鈴木
  Z.M.Ariola, J.W.Klop and D.Plump,
  Bisimilarity in Term Graph Rewriting,
  Information and Computation 156, pp.2-24, 2000.
• 7/18(火) 紹介者: 外山
  Y.Kaji, T.Fujiwara, T.Kasami,
  Solving a unification problem under constrained substitutions using tree automata,
  J.Symbolic Computation 23, pp.79-117, 1997.

webmaster