由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生，本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。
Because the concept of bisimulations has emerged almost at the same time in computer science, modal logic and set theory, this paper attempts to give a general definition on this concept.
本文对理论计算机科学，特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述，旨在使上述思想能为希望在该领域开拓视野之士敞开大门。
This paper provides an intuitive and easily understandable overview of some fundamental ideas in the area of theoretical computer science, especially those related to logic and semantics.
在计算机科学领域，这种技术叫做“逻辑移位”（ logical shift），为的是给用户提供更加相关的结果。
That's another logical shift to provide more relevant results to the searcher.
应用推荐