国内の項書き換え研究

項書き換えのセミナー

• TRS meeting (maintained by N. Hirokawa)

項書き換えのメーリングリスト

• TRS mailing list (maintained by H. Ohsaki)
  

項書き換えの研究者（海外も含む）へのリンク

• Researchers in Rewriting (maintained by A. Middeldorp)

関連研究グループ

• 産業技術総合研究所
  • システム検証研究センター
• 筑波大学
  • SCORE（井田 研究室）
• 東北大学
  • コンピューティング情報理論研究分野 （外山 研究室）
• 名古屋大学
  • 計算論講座 （酒井 研究室）
• 奈良先端大学院大学
  • 情報基礎学講座 （関 研究室）
• 北陸先端大学院大学
  • ソフトウェア形式手法分野 （二木 研究室）
  • ソフトウェア検証論分野 （小川 研究室）
• 北海道大学
  • 表現系工学研究室 （栗原 研究室）
• 三重大学
  • 計算機ソフトウェア講座 （大山口 研究室）