Büchi automata; Language equivalence; Coinduction;
机译:B?chi自动机上的空性检查算法比较
机译:基于知足情况的布奇自动机生成的去矿化算法
机译:基于知足情况的布奇自动机生成的去矿化算法
机译:Büchi自动机的配合算法
机译:广义弦最优自动机的算法构造和随机分析
机译:用显微镜和算法生成的表面上带有细胞自动机的Noyes-Whitney方程数值解法对甲胺酸制剂的崩解和溶解行为进行建模
机译:Büchi自动机检查空虚算法的比较
机译:行为微分方程:同源微积分和流,自动机和幂级数。软件工程(sEN)。