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

• 1月9日(水) 紹介者: 村井
  Hubert Comon, Guillem Godoy, Robert Nieuwenhuis,
  The Confluence of Ground Term Rewrite Systems is Decidable in Polynomial Time,
  FOCS 2001, pp. 298-307, 2001.
• 1月9日(水) 紹介者: 磯部
  Yoshihito Toyama,
  Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations,
  SSST 2007, 3C-3, 2007.
• 1月9日(水) 紹介者: 佐藤
  Takahito Aoto,
  Dealing with non-orientable equations in rewriting induction,
  RTA 2006, LNCS 4098, pp. 242-256, 2006
• 12月19日(水) 紹介者: 青戸
  Usro Pascal and Kounalis Emmanuel,
  "Term Partition" for Mathematical Induction,
  In Proc. of RTA'2003, LNCS 2706, pp.352-366, 2003.
• 12月12日(水) 紹介者: 菊池
  Koji Nakazawa,
  An Isomorphism Between Cut-Elimination Procedure and Proof Reduction,
  International Conference on Typed Lambda Calculi and Applications (TLCA 2007), Lecture Notes in Computer Science 4583, 336-350.
• 12月5日(水) 紹介者: Ketema Jeroen
  Stefan Blom,
  An Approximation Based Approach to Infinitary Lambda Calculi,
  RTA 2004: 221-232.
• 11月21日(水) 紹介者: 外山
  Guillem Godoy and Sophie Tison,
  On the Normalization and Unique Normalization Properties of Term Rewrite Systems,
  International Conference on Automated Deduction (CADE 2007), Lecture Notes in Computer Science 4603, 247-262.
• 10月31日(水), 11月14日(水) 紹介者: 吉田
  Satoshi Okui,
  Simultaneous Critical Pairs and Church-Rosser Property,
  In Proc. 9th RTA, LNCS 1379, pp. 2-16, 1998
• 10月17日(水), 24日(水) 紹介者: 徳橋
  Pierre Rety,
  Regular Sets of Descendants for Constructor-based Rewrite Systems,
  In Proceedings of the 6th international conference on LPAR, Lecture Notes in Artificial Intelligence, Springer-Verlag, 1999.
• 10月10日(水) 紹介者: 嶌津
  E. Kitzelmann, U. Schmid,
  Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities,
  Electronic Notes in Theoretical Computer Science, 174, pp. 49-63, 2007.
• 10月3日(水) 紹介者: 千葉
  Jochen Burghardt,
  E-Gen eralization Using Grammars,
  Artificial Intelligence Journal, Vol. 165, No. 1, pp. 1-35, 2005.
• 7月17日(水) 紹介者: 外山
  Paul-Andre Mellies,
  On a Duality Between Kruskal and Dershowitz Theorems,
  Proceedings of the 25th International Colloquium on Automata, Languages and Programming, Lecture Notes In Computer Science 1443 (1998) 518 - 529.
• 6月13日(水) 紹介者: 青戸
  Takahito Aoto and Toshiyuki Yamada,
  Argument Filterings and Usable Rules for Simply Typed Dependency Pairs,
  Proceedings of the 4th International Workshop on Higher-Order Rewriting (HOR 2007), to appear.
• 6月6日(水) 紹介者: Ketema Jeroen
  Joerg Endrullis and Jeroen Ketema,
  Root Stabilisation Using Dependency Pairs,
  In Dieter Hofbauer and Alexander Serebrenik, editors, Proceedings of the 9th International Workshop on Termination (WST 2007), 2007.
• 5月30日(水) 紹介者: 菊池
  Kentaro Kikuchi,
  Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus,
  Proceedings of the 3rd Conference on Computability in Europe (CiE 2007).

webmaster