11th TRS meeting (University of Tuskuba, May 19-20, 1997)

Organized by Tetsuo Ida, Aart Middeldorp (University of Tsukuba)

List of presentations.

  1. Mariangiola Dezani-Ciancaglini, Discrimination by Parallel Observers
  2. Satoshi Okui, Extended Critical Pairs and Church-Rosser Property
  3. Mitsu Okada, A Theory of Typed Higher Order Rewriting (joint work with M. Hamano)
  4. Yohji Akama, Monads and Modular Term Rewriting (CTCS paper by Christoph Luth and Neil Ghani)
  5. Zurab Khasidashvili, The Geometry of Orthogonal Reduction Spaces (joint ICALP'97 paper with John Glauert)
  6. Mizuhito Ogawa, WQO, regularity, and their Applications
  7. Aart Middeldorp, Decidable Call by Need Computations in Term Rewriting (joint CADE'97 paper with Irene Durand)
  8. Patrick Viry, LEAN, rewriting languages for concurrency
  9. Masahiko Sakai, On Simple Pattern of HO-TRS and Unification
  10. Taro Suzuki, Completeness of Narrowing for Conditional Systems with Extra Variables in the Right-Hand Sides
  11. Zurab Khasidashvili, Perpetuality and Uniform Normalization (joint paper with Mizuhito Ogawa)
  12. Toshiyuki Yamada, Logicality of Conditional Term Rewriting Systems with Extra Variables

List of participants.