スポンサーリンク

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

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

スポンサーリンク