12th TRS meeting (Nagoya Univ., November 4-5, 1997)

Organized by Toshiki Sakabe, Masahiko Sakai (Nagoya Univ.)

List of presentations.

    11/4 (Tue) 10:00-17:30
  1. Takahito Aoto, A proof of a conjecture by H. Zantema
  2. Masahiko Sakai, AC path ordering
  3. Munehiro Iwami, Persistence of termination in order-sorted equational rewriting
  4. Yoshinobu Kawabe, On Modularity of Completeness in Order-sorted Term Rewriting Systems
  5. Masayoshi Saga, List-based Deforestation
  6. Aart Middeldorp, Modularity of Termination Using Dependency Pairs, by Arts and Giesl
  7. Keiichirou Kusakari, On Proving AC Termination by Dependency Pairs
  8. Yoshihito Toyama, On rewriting induction
    11/5 (Wed) 9:30-17:00
  9. Fer-Jan de Vries, Types for Terms, joint work with Dezani and Barbanera
  10. Mizuhito Ogawa, Notes on nonlinear extensions of Lambda caliculi
  11. Yohji Akama, SN combinators and partial combinatory algebra
  12. Satoshi Okui, On E-unification
  13. Michio Oyamaguchi, On the upside-parallel-closed condition of left-linear TRS's
  14. Toshiyuki Yamada, Equivalence of Different Types of CTRSs
  15. Ken Mano, On Extention of Chew's Theorem
  16. Shoji Yuen, Extending Process Languages with Time, joint work with I.Ulidowski
  17. Taro Suzuki, Higher-Order Lazy Narrowing Calculus

List of participants.