不可判定问题相关论文
随着信息化在国防军事领域的广泛普及，信息与共享所带来的安全问题日益引起人们重视，而网络作为信息共享主要载体，非常容易受到破坏和......
网页是传递信息的重要载体,以网页作为研究对象是现今信息检索和信息关联研究的必然趋势.鉴于句子既是传递信息的基本单位,又是表......
过程间并发程序分析问题是一个不可判定问题，理解这个不可判定问题的来源是发展一个有效的分析算法的基础。现有的证明[1]通过构造......
