1st TRS meeting (Mie Univ., Dec.26, 1991)
Organized by Michio Oyamaguchi (Mie Univ.)
An (incomplete) list of presentations.
- Yoshihito Toyama, (1) Strong sequentiality of overlapping TRSs
(2) The functional strategy and transitive term rewriting
- Mizuhito Ogawa, A walk around WQO and reverse Mathematics
- Shoji Yuen, Testing equivalence of communicating processes with
value-passing based on term rewriting (joint work with T.Sakabe and Y.Inagaki)
- Tohru Naoi, Scott theoretic Kripke model for Intuitionistic Logic
(joint work with M.Nakamura and Y.Inagaki)
- Discussions on UN of omega-nonoverlapping TRSs
An (incomplete) list of participants.
- Shoji Yuen (Nagoya Univ.)
- Tohru Naoi (Gifu Univ.)
- Michio Oyamaguchi (Mie Univ.)
- Yoshihito Toyama, Junnosuke Yamada, Ken Mano, Mizuhito Ogawa (NTT)