A B C D E F G H I J K L M N O P Q-R S T U V W X-Y Z
close this section of the library Togashi, Atsushi
View the document Togashi, Atsushi (Shigetomo Kimura, Atsushi Togashi and Norio Shiratori) -- Inductive Synthesis of Recursive Processes from Logical Properties - December 2000
View the document Togashi, Atsushi (Shigemoto Kimura, Atsushi Togashi and Norio Shiratori) -- Synthesis Algorithm for Recursive Processes by mu-calculus - 1994