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.

• Toshiki Sakabe, Shoji Yuen, Masahiko Sakai (Nagoya Univ.)
  
• Michio Oyamaguchi, Satoshi Okui (Mie Univ.)
  
• Hideto Kasuya (Aichi Univ.)
  
• Yoshihito Toyama, Takahiro Aoto, Munehiro Iwami, Keiichirou Kusakari, Masayoshi Saga (JAIST)
  
• Aart Middeldorp, Taro Suzuki, Toshiyuki Yamada (Tsukuba Univ.)
  
• Yohji Akama (Tokyo Univ.)
  
• Fer-Jan de Vries (ETL)
  
• Ken Mano, Yoshinobu Kawabe, Mizuhito Ogawa (NTT)