Tohru Naoi

Publication Activity (10 Years)

Years Active: 1987-2005
Publications (10 Years): 0

Publications

Hiroshi Oyama, Masato Ryoki, Tadahiro Matsumoto, Tohru Naoi, Munehiro Goto
EBIFRY, a programming language for embedded systems - combining simplicity with stability. Systems and Computers in Japan 36 (10) (2005)
Masaharu Sugiyama, Munehiro Goto, Szilveszter Kovács, Tadahiro Matsumoto, Tohru Naoi
A cropping-robust watermarking method based on singular value decomposition and Haar transformation. Systems and Computers in Japan 34 (8) (2003)
Tohru Naoi, Yasuyoshi Inagaki
Algebraic Semantics and Complexity of Term Rewriting Systems. RTA (1989)
Tohru Naoi, Masafumi Yamashita, Toshihide Ibaraki, Namio Honda
A class of ambiguous linear term-rewriting systems on which call-by-need is a normalizing reduction strategy. Systems and Computers in Japan 18 (9) (1987)