Tohru Naoi

According to our database, Tohru Naoi authored at least 4 papers between 1987 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

EBIFRY, a programming language for embedded systems - combining simplicity with stability.

Hiroshi Oyama, Masato Ryoki, Tadahiro Matsumoto, Tohru Naoi, Munehiro Goto

Syst. Comput. Jpn., 2005

2003

A cropping-robust watermarking method based on singular value decomposition and Haar transformation.

Masaharu Sugiyama, Munehiro Goto, Szilveszter Kovács, Tadahiro Matsumoto, Tohru Naoi

Syst. Comput. Jpn., 2003

1989

Algebraic Semantics and Complexity of Term Rewriting Systems.

Tohru Naoi, Yasuyoshi Inagaki

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1987

A class of ambiguous linear term-rewriting systems on which call-by-need is a normalizing reduction strategy.

Tohru Naoi, Masafumi Yamashita, Toshihide Ibaraki, Namio Honda

Syst. Comput. Jpn., 1987