Search results for: Yoshikatsu Ohta
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 246-260
Information and Computation > 2003 > 183 > 2 > 187-211
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 246-260
Information and Computation > 2003 > 183 > 2 > 187-211