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

• 6/17(木) 紹介者: 鈴木
  Manfred Schmidt-Schauss,
  Decidability of behavioural equivalence in unary PCF,
  Theoretical Computer Science 216, pp.363-373, 1999.
• 6/2(水) 紹介者: 中村
  H.Ohsaki, A.Middeldorp, J.Giesl,
  Equational Termination by Semantic Labelling,
  technical report TR-98-29, Electrotechnical Laboratory, 1998.
• 5/26(水) 紹介者: 松本
  Vincent van Oostrom,
  Developing developments,
  Theoretical Computer Science 175, pp.159-181, 1997.
• 5/19(水) 紹介者: 草刈
  G.Bonfante, A.Cichon, J.Y.Marion, H.Touzet,
  Complexity classes and rewrite systems with polynomial interpretation,
  Proceedings of International Conference on Computer Science Logic (CSL'98).
• 5/12(水) 紹介者: 外山
  Adolfo Piperno,
  An algebraic view of the Bohm-out technique,
  Theoretical Computer Science 212, pp.233-246, 1999.
• 4/28(水) 紹介者: 鈴木
  Roel Bloo, Herman Geuvers,
  Explicit substitution - On the edge of strong normalization -,
  Theoretical Computer Science 211, pp.375-395, 1999.
• 4/21(水) 紹介者: 草刈
  Jean-Pierre Jouannaud and Albert Rubio,
  The Higher-Order Recursive Path Ordering,
  In IEEE Symposium on Logic in Computer Science, july 1999.
• 4/14(水) 紹介者: 中村
  J. Giesl, A. Middeldorp,
  Transforming Context-Sensitive Rewrite Systems,
  Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA'99), Trento, Lecture Notes in Computer Science, 1999. To appear.
• 4/8(木) 紹介者: 松本
  Richard Mayr, Tobias Nipkow,
  Higher-order rewrite systems and their confluence,
  Theoretical Computer Science 192, pp.3-29, 1998.

webmaster