Her research focuses on coalgebraic methods for modeling state-based systems.
彼女の研究は、状態を持つシステムをモデル化するための余代数を用いた手法に焦点を当てている。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
