国際会議や学術雑誌における発表論文(JAIST)

北陸先端科学技術大学院大学 外山・酒井研 (1993.4-1997.3)／外山研 (1997.4-2000.3)における発表論文です．

1. Mircea Marin, Tetsuo Ida, and Taro Suzuki,
   On Reducing the Search Space of Higher-Order Lazy Narrowing,
   FLOPS'99, Proceedings of the 4th International Symposium on Functional and Logic Programming, Lecture Notes in Computer Science 1722, pp.319-334, 1999.
2. M.Nakamura, K.Kusakari, Y.Toyama,
   On Proving Termination by General Dummy Elimination,
   IEICE Transactions on Information and Systems, Vol. J82-D-I, No.10, pp.1225-1231, 1999 (in Japanese).
3. K.Kusakari, M.Nakamura, Y.Toyama,
   Argument Filtering Transformation,
   In Proceedings of International Conference on Principles and Practice of Declarative Programming, LNCS 1702 (PPDP'99), pp.47-61, 1999.
4. T.Nagaya, Y.Toyama,
   Decidability for Left-linear Growing Term Rewriting Systems,
   Proc. of the 10th Int. Conf. on Rewriting Techniques and Applications, LNCS 1631 (RTA'99), pp.256-270, 1999.
5. Mohamed Hamada, Aart Middeldorp and Taro Suzuki,
   Completeness Results for a Lazy Conditional Narrowing Calculus,
   DMTCS'99, Proceedings of Discrete Mathematics and Theoretical Computer Science, 1999.
6. M. Iwami, Y. Toyama,
   Simplification ordering for higher-order rewrite systems,
   IPSJ Trans. on Programming, Vol.40, No.SIG 4 (PRO 3), pp.1-10, 1999.
7. M. Iwami, M. Sakai, Y. Toyama,
   An improved recursive decomposition ordering for higher-order rewrite systems,
   Trans. of IEICE, Vol. E81-D, No. 9, pp. 988-996, 1998.
8. Masahiko Sakai, Yoshihito Toyama,
   Semantics and Strong Sequentiality of Priority Term Rewriting Systems,
   Theoretical Computer Science, Vol.208, pp.87-110(1998).
9. T.Nagaya, M.Sakai, Y.Toyama,
   Index Reduction of Overlapping Strongly Sequential Systems,
   IEICE Transactions on Information and Systems, Vol.E81-D, No.5, pp.419-426, 1998.
10. T. Aoto, Y. Toyama,
    Termination transformation by tree lifiting ordering,
    in Proc. of the 9th International Conference on Rewrite Techniques and Applications (RTA'98), LNCS 1379, pp. 256-270, 1998.
11. T. Aoto, Y. Toyama,
    Persistency of confluence,
    Journal of Universal Computer Science, Vol. 3, No. 11, pp. 1134-1147, 1997.
12. T. Aoto, Y. Toyama,
    On composable properties of term rewriting systems,
    in Proc. of the 6th International Joint Conference, ALP'97 - HOA'97, LNCS Vol. 1298, pp. 114-128, 1997.
13. M. Sakai, Y. Toyama,
    Semantics and strong sequentiality of priority term rewriting systems,
    in Proc. of the 7th International Conference on Rewrite Techniques and Applications (RTA'96), LNCS Vol. 1103, pp. 377-391, 1996.
14. Y. Takahashi, M. Sakai, Y. Toyama,
    On the confluence property of conditional term rewriting systems,
    Trans. of IEICE, Vol. J79-D-I, No. 11, pp. 1-6, 1996 (in japanese).
15. Y. Ohta, M. Oyamaguchi, Y. Toyama,
    On the confluence property of siple-right-linear TRS's
    Trans. of IEICE, Vol. J78-D-I, No. 3, pp. 263-268, 1995 (in japanese).
16. Y. Toyama, J. W. Klop, H. P. Barendregt,
    Termination for direct sums of left-linear complete term rewriting systems,
    Journal of the Association for Computer Machinery, Vol. 42, No. 6, pp. 1275-1304, 1995.
17. S. Yamamoto, R. Ishikawa, M. Sakai, K. Agusa,
    An implimentation of TRS on shared memory multiprocessorts,
    Trans. of IEICE, Vol. J78-D-I, No. 6, pp. 559-562, 1995 (in japanese).
18. Y. Hamaguchi, M. Sakai, S. Yamamoto, K. Agusa,
    Error Description on Algebraic Specification and its Automatic Addition,
    Trans. of IEICE, Vol. J78-D-I, No. 3, pp. 323-330, 1995 (in japanese).
19. M. Kawakita, M. Sakai, S. Yamamoto, K. Agusa,
    A model for reuse based on formal specifications,
    Trans. of IPSJ, Vol. 36, No. 5, 1995 (in japanese).
20. Y. Ohta, M. Oyamaguchi, Y. Toyama,
    On the confluence property of siple-right-linear TRS's
    Trans. of IEICE, Vol. J78-D-I, No. 3, pp. 263-268, 1995 (in japanese).
21. J. W. Klop, A. Middeldorp, Y. Toyama, R. de Vrijer,
    Modularity of confluence: A simplified proof,
    Information Processing Letters, Vol. 49, pp. 101-109, 1994.
22. Y. Toyama, M. Oyamaguchi
    Church-Rosser property and unique normal formal property of non-duplicating term rewriting systems,
    in Proc. of the 4th International Conference on Conditional and Typed Rewrite Systems (CTRS'94), LNCS Vol. 968, pp. 316-331, 1994.
23. Y. Toyama, S. Smetsers, M. Eeklen, R. Plasmeijer,
    The functional strategy and transitive term rewriting systems,
    in Term Graph Rewriting (M. R. Sleep, etc., eds., Wiley, 1993), pp. 61-75, 1993.