Kinoshita Yoshiki | C.R.T. of Informatics, AIST

スポンサーリンク

概要

• Kinoshita Yoshikiの詳細を見る
• 同名の論文著者
• C.R.T. of Informatics, AISTの論文著者

C.R.T. of Informatics, AIST | 論文

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

もっと見る

スポンサーリンク