The combinatorial games are much finer than game template in characterizing behavioral equivalences, and are much closer to the design of equivalence checking algorithms.
组合游戏的刻画方法比游戏模板更为细致，而且更加接近等价性检测算法的设计。
The combinatorial games are much finer than game template in characterizing behavioral equivalences, and are much closer to the design of equivalence checking algorithms.
组合游戏的刻画方法比游戏模板更为细致，而且更加接近等价性检测算法的设计。
应用推荐