Synthesis Algorithm for Recursive Process by µ-calculus (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shigetomo Kimura, Atsushi Togashi, Norio Shiratori. Synthesis Algorithm for Recursive Process by µ-calculus (Extended Abstract). In Setsuo Arikawa, Klaus P. Jantke, editors, Algorithmic Learning Theory, 4th International Workshop on Analogical and Inductive Inference, AII 94, 5th International Workshop on Algorithmic Learning Theory, ALT 94, Reinhardsbrunn Castle, Germany, October 10-15, 1994, Proceedings. Volume 872 of Lecture Notes in Computer Science, pages 379-394, Springer, 1994.

This author has not been identified. Look up 'Shigetomo Kimura' in GoogleThis author has not been identified. Look up 'Atsushi Togashi' in GoogleThis author has not been identified. Look up 'Norio Shiratori' in Google

runs on WebDSL