Togashi, Atsushi

2 publications

ALT 1994 Synthesis Algorithm for Recursive Process by Μ-Calculus (Extended Abstract) Shigetomo Kimura, Atsushi Togashi, Norio Shiratori

ALT 1990 Inductive Inference of Term Rewriting Systems Realizing Algebras Atsushi Togashi, Shoichi Noguchi