Essentially Algebraic Structure for Kleene Algebra with Tests and Its Application to Semantics of While Programs

スポンサーリンク

概要

• 論文の詳細を見る
• 情報処理学会の論文
• 2003-03-15

著者

• Kinoshita Yoshiki

  C.r.t. Of Informatics Aist

• FURUSAWA Hitoshi

  C.R.T. of Informatics, AIST

• Furusawa Hitoshi

  C.r.t. Of Informatics Aist

関連論文

• Essentially Algebraic Structure for Kleene Algebra with Tests and Its Application to Semantics of While Programs
• Essentially Algebraic Structure for Kleene Algebra with Tests and Its Application to Semantics of While Programs

スポンサーリンク