Deng Yuxin について
Shanghai Key Laboratory of Trustworthy Computing, MOE International Joint Lab of Trustworthy Software, and International Research Center of Trustworthy Software, East China Normal University について
Feng Yuan について
University of Technology Sydney, Australia について
IEEE Conference Proceedings について
完全性 について
音響 について
類似性 について
キャラクタリゼーション について
等価性 について
λ計算 について
線形性 について
バイシミュレーション について
計算理論 について
確率 について
線形 について
ラムダ計算 について
バイシミュレーション について