木村 成伴(キムラ シゲトモ)

研究者情報全体を表示

論文

• Inductive Inference of Algebraic Processes based on Hennessy-Milner Logic
  Atsushi Togashi; Shigetomo Kimura
  IEICE Transactions on Fundamentals of Electronics, Communictions and Computer Sciences/E77(A-10)/p.1594-1601, 1994-10
• Synthesis Algorithm for Recursive Processes by μ-calculus
  Shigetomo Kimura; Atsushi Togashi; and Norio Shiratori
  Lecture Notes in Artificial Intelligence/(872)/p.379-394, 1994-01
• プロセスの枚挙に基づいた代数的プロセスの合成
  木村成伴; 富樫敦; 野口正一
  電子情報通信学会論文誌/J75-D-I(12)/p.1132-1143, 1992-12
• 様相論理式による基本プロセスの合成アルゴリズム
  木村成伴; 富樫敦; 野口正一
  電子情報通信学会論文誌/J75-D-I(11)/p.1048-1061, 1992-11