Taro Suzuki and Satoshi Okui
"A statically typed second-order rewrite system for XML transformation"
Proc. of the Eighth International Conference on Humans and Computers (HC-2005),pp.326-331, 2005
Taro Suzuki and Satoshi Okui
"A rewrite system with incomplete regular expression type for transformation of XML documents"
IPSJ Transactions on Programming, Vol.46, No.SIG 14 (PRO27), pp.43-54, 2005
Satoshi Okui and Taro Suzuki
"Narrowing in Abstract Higher-Order Rewrite Systems" (in Japanese)
IPSJ Transactions on Programming, Vol.44, No.SIG 16 (PRO20), pp.56-67, 2003
Taro Suzuki and
Aart Middeldorp
"A Complete Selection Function for Lazy Conditional Narrowing"
FLOPS'01, Proceedings of the 5th International Symposium on
Functional and Logic Programming,
Lecture Notes in Computer Science 2024, pp.201-215,
2001 [dvi / ps]
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 [ps]
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.
Taro Suzuki, Makoto Hamana
"Logic Programs as Term Rewriting Systems" (in Japanese)
Computer Software, Vol.14, No.6, pp.29-43, 1997.
[dvi / ps]
Taro Suzuki, Koji Nakagawa and Tetsuo Ida
"Higher-Order Lazy Narrowing Calculus:
A Computation Model for a Higher-order Functional Logic Language"
Proceedings of Sixth International Conference,
ALP '97 -- HOA '97, Southampton(UK),
Lecture Notes in Computer Science 1298, pp.99--113, 1997.
[dvi / ps]
Taro Suzuki
"Standardization Theorem Revisited"
Proceedings of Fifth International Conference on
Algebraic and Logic Programming, Aachen(Germany),
Lecture Notes in Computer Science 1139, pp.122-134,
1996.
[dvi / ps]
(*Note* Use dvips instead of dvi2ps when you print the DVI file to a ps printer.)
Taro Suzuki
"Completeness of Narrowing for Orthogonal Conditional Rewrite Systems"
Proceedings of Fuji International Workshop on
Functional and Logic Programming, Susono(Japan), pp.63-77,
1995.
[dvi / ps]
Koji Nakagawa,
Tomoyuki Nishioka,
and Taro Suzuki
"Compiling Programs of an Applicative Narrowing Calculus"
Proceedings of Fuji International Workshop on
Functional and Logic Programming, Susono(Japan),
pp. 78-91, 1995
Taro Suzuki,
Aart Middeldorp,
and Tetsuo Ida
"Level-Confluence of Conditional Rewrite Systems with Extra Variables in
Right-Hand Sides"
Proceedings of the 6th International Conference on Rewriting Techniques
and Applications, Lecture Notes in Computer Science 914, pp.179-193,
1995 [dvi / ps]
Koji Nakagawa, Koichi Nakahara, Taro Suzuki, and
Tetsuo Ida
"Lazy Narrowing Abstract Machine" (in Japanese)
Transaction on IEICE,
Vol. J78-D-1, No. 5, pp.467-477,
1995 [ps]
Tetsuo Ida,
Atsushi Nakamura, Taro Suzuki, and Koji Nakagawa
"Abstract Machine Approach to Operational Semantics of Prolog".
Journal of Information Processing, Vol 15, No. 4,
pp.545-553, 1992