FURUSAWA HITOSHI | C.R.T. of Informatics,AIST

スポンサーリンク

概要

• Hitoshi Furusawaの詳細を見る
• 同名の論文著者
• 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

もっと見る

スポンサーリンク