No.918

Theory of Rewriting Systems and Its Applications

1995/07/24～1995/07/26

外山芳人

Yoshihito Toyama

目　次

1. Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides(Theory of Rewriting Systems and Its Applications)---1

　　　　Center of Tsukuba Advanced Research Alliance, University of Tsukuba / Center of Tsukuba Advanced Research Alliance, University of Tsukuba / Center of Tsukuba Advanced Research Alliance, University of Tsukuba　　　Suzuki, Taro / Middeldorp, Aart / Ida, Tetsuo

2. Left-incompatible Term Rewriting Systems and its Normalizing Strategy(Theory of Rewriting Systems and Its Applications)----------16

　　　　School of Information Science, Japan Advanced Institute of Science and Technology　　　Sakai, Masahiko

3. Implementation of Conditional Term Rewriting Systems equipped with Meta-computation(Theory of Rewriting Systems and Its Applications)---24

　　　　Faculty of Engineering, Hokkaido University / Faculty of Engineering, Hokkaido University / Faculty of Engineering, Hokkaido University　　　NUMAZAWA, Masanobu / KURIHARA, Masahito / OHUCHI, Azuma

4. Completion for Multiple Reduction Orderings(Theory of Rewriting Systems and Its Applications)------------------------------------34

　　　　Institute of Systems and Information Engineering, Hokkaido University / Department of Systems Engineering, Ibaraki University / Institute of Systems and Information Engineering, Hokkaido University　　　Kurihara, Masahito / Kondo, Hisashi / Ohuchi, Azuma

5. Analysis of Completeness of Laboratory Assignment Algorithm by Rewrite Systems Theory(Theory of Rewriting Systems and Its Applications)---48

　　　　Institute of Systems and Information Engineering, Faculty of Engineering, Hokkaido University / Institute of Systems and Information Engineering, Faculty of Engineering, Hokkaido University / Institute of Systems and Information Engineering, Faculty of Engineering, Hokkaido University　　　NOTO, Masato / KURIHARA, Masahito / OHUCHI, Azuma

6. Trees and Terms in Relational Graph Rewriting System(Theory of Rewriting Systems and Its Applications)---------------------------58

　　　　Department of Control Engineering and Science, Kyushu Institute of Technology / Research Institute of Fundamental Information Science, Kyushu University　　　MIZOGUCHI, Yoshihiro / KAWAHARA, Yasuo

7. Fuzzy Graph Rewritings(Theory of Rewriting Systems and Its Applications)---------------------------------------------------------65

　　　　Department of Information Systems, Interdisciplinary Graduate School of Engineering Science, Kyushu University / Research Institute of Fundamental Information Science, Kyushu University　　　MORI, Masao / KAWAHARA, Yasuo

8. Protocol Synthesis from Service Specifications Described by Graph Rewriting Rules(Theory of Rewriting Systems and Its Applications)---72

　　　　ATR Communication Systems Research Laboratories / ATR Communication Systems Research Laboratories / ATR Communication Systems Research Laboratories　　　Takura, Akira / Sera, Takafumi / Ohta, Tadashi

9. Transforming Termination by Self-Labelling(Theory of Rewriting Systems and Its Applications)-------------------------------------85

　　　　Department of Computer Science, Utrecht University / Institute of Information Sciences and Electronics. University of Tsukuba / Institute of Information Sciences and Electronics. University of Tsukuba　　　Ferreira, Maria C.F. / Middeldorp. Aart / Ohsaki, Hitoshi[他]

10. Simple gap termination for term graph rewriting systems(Theory of Rewriting Systems and Its Applications)-----------------------99

　　　　NTT Basic Research Laboratories　　　Ogawa, Mizuhito

11. NVNF-sequentiality of Left-linear Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)---------------------109

　　　　School of Information Science, JAIST / School of Information Science, JAIST / School of Information Science, JAIST　　　Nagaya, Takashi / Sakai, Masahiko / Toyama, Yoshihito

12. Sequentiality, Second Order Monadic Logic and Tree Automata(Theory of Rewriting Systems and Its Applications)------------------118

　　　　CNRS and LRI, Bat. 490, Universite de Paris Sud　　　Comon, Hubert

13. Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)---139

　　　　School of Information Science, JAIST / Faculty of Engineering, Mie University　　　Toyama, Yoshihito / Oyamaguchi, Michio

14. Some Results on the CR property of non-E-overlapping and depth-preserving TRS's(Theory of Rewriting Systems and Its Applications)---150

　　　　Faculty of Engineering, Mie University / Faculty of Engineering, Mie University　　　Oyamaguchi, Michio / Gomi, Hiroshi

15. A new proof of Chew's theorem(Theory of Rewriting Systems and Its Applications)------------------------------------------------160

　　　　NTT Communication Science Labs. / NTT Basic Research Labs.　　　Mano, Ken / Ogawa, Mizuhito

16. On embedding of classical substructural logics(Theory of Rewriting Systems and Its Applications)-------------------------------178

　　　　Kyushu Institute of Technology　　　Fujita, Ken-etsu

17. Natural Deduction Systems for Intuitionistic Substructural Logics and their Strong Normalization(Theory of Rewriting Systems and Its Applications)---196

　　　　School of Information Science, JAIST　　　Mouri, Motohiko

18. Extracting a reduction system from a conjunction calculus(Theory of Rewriting Systems and Its Applications)--------------------206

　　　　Hitachi Software Engineering Co., Ltd.　　　Kumeta, Akefumi

19. Non-Standard Recursion Theory(Theory of Rewriting Systems and Its Applications)q-----------------------------------------------224

　　　　Faculty of Engineering, Gifu University　　　NAOI, Tohru

20. Parallelization of Concurrent Processes in Higher Dimensional Automata(Theory of Rewriting Systems and Its Applications)-------238

　　　　Department of Computer Science, Ritsumeikan University　　　Takayama, Yukihide

21. Shortcut Deforestation in Calculational Form(Theory of Rewriting Systems and Its Applications)---------------------------------253

　　　　Hitachi Advanced Research Lab / Utrecht University　　　Takano, Akihiko / Meijer, Erik

22. Eliminating Selectors from Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)----------------------------268

　　　　Tokyo Institute of Technology　　　Yutaka, Kikuchi

23. Grobner Bases for Set Constraints(Theory of Rewriting Systems and Its Applications)--------------------------------------------277

　　　　Dept. of Computer Science Ritsumeikan University　　　Sato, Yosuke

24. Concurrent Reflective Computations in Rewriting Logic(Theory of Rewriting Systems and Its Applications)------------------------292

　　　　School of Information Science, Japan Advanced Institute of Science and Technology / School of Information Science, Japan Advanced Institute of Science and Technology / School of Information Science, Japan Advanced Institute of Science and Technology　　　Ishikawa, Hiroshi / Futatsugi, Kokichi / Watanabe, Takuo