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

• 2/6(木) 紹介者: 本多
  Benjamin Pierce, Martin Sreffen,
  Higher-Order Subtyping,
  Theoretical Computer Science 176, 1-2, (1997), pp.235-282
• 1/29(水),1/30(木) 紹介者: 秋谷
  F. Baader,
  Combination techniques and decision problems for disunification,
  Theoretical Computer Science 142(2), pp.229-255, 1995.
• 12/18(水) 紹介者: 横手
  Alain Laville,
  Comparison of priority Rules in Pattern Matching and Term Rewriting,
  J. Symbolic Computation, vol 11, 1991, pp.321-347.
• 12/18(水) 紹介者: 落合
  Mohamed Adi, Claude Kirchner,
  AC-Unification Race: The System Sloving Approach, Implementation and Benchmarks,
  J. Symbolic Computation, vol 14, 1992, pp.51-70.
• 12/11(水) 紹介者: 千葉
  Daniel J. Dougherty,
  Higher-order unification via combinators,
  Theoretical Computer Science, 114 (1993), pp. 273-298.
• 12/4(水),12/5(木) 紹介者: 鶴川
  G. Dowek,
  Third order matching is decidable,
  Annals of Pure and Applied Logic, 69 (1994), pp. 135-155.
• 11/27(水) 紹介者: 伊藤
  T. Johnsson,
  Attribute grammars as a functional programming paradigm,
  In G. Kahn, editor,
  Functional Programming Languages and Computer Architecture,
  volume 274 of Lecture Notes in Computer Science,
  pp. 154-173. Springer-Verlag, 1987.
• 11/20(水) 紹介者: 外山
  L. Bachmair and N. Dershowitz,
  Completion for rewriting modulo a congruence,
  Theoretical Computer Science 67 (1989) pp. 172-201.
• 11/13(水) 紹介者: 草刈
  Aart Middeldorp,
  Call by Need Computations to Root-Stable Form,
  Proceedings of the 24th Annual ACM SIGPLAN-SIGACT Symposium
  on Principles of Programming Languages, Paris, pp. 94-105, 1997.
• 10/16(水) 紹介者: 本多
  Corrado Bohm, Adolfo Piperno, Stefano Guerrini,
  λ-defintion of Function(al)s by Normal Forms,
  Lecture Notes in Computer Science 788, pp.135-149, 1994.
• 9/25(水), 10/3(木) 紹介者: 秋谷
  Hubert Comon,
  Equational problems and disunification,
  J. Symbolic Computation, pp.371-425, 1989.
• 7/12(金) 紹介者: 鶴川
  Hubert Comon and Yan Jurski,
  Higher-order matching and tree automata,
  Lecture Notes in Computer Science 1414, pp.157-176, 1997.
• 7/2(火), 7/3(水) 紹介者: 伊藤
  W.-N. Chin,
  Safe fusion of functional expressions II:
  Further improvements,
  Journal of Functional Programming, 4(4):515--555, 1994.
• 6/21(金) 紹介者: 草刈
  Masako Takahashi,
  Parallel Reductions in λ-Calculus,
  Information and Computation 118(1), 120-127, 1995.
• 6/7(金) 紹介者: 外山
  Yoshihito Toyama,
  Strong sequentiality of left-linear overlapping term rewriting systems,
  Proc. of 7th IEEE Symposium on Logic in Comput. Sci. (1992) 274-284.
• 4/19(金) 紹介者: 福井
  Deepak Kapur, Paliath Narendran and Hantao Zhang,
  On Sufficient-Completeness and Related Properties of Term Rewriting Systems,
  Acta Informatica 24,395-415(1987)

webmaster