扩展逻辑相关论文
随着市场化、城市化、城镇化的全面推进,变化中的农村不可避免地被纳入到利益重组、分化及冲突的过程中来。新时期,国家与农民的关系......
在Coffey和Saidha提出的CS逻辑(CS逻辑将时间与逻辑结构相结合,可用于形式化分析Timed-release公钥协议的时间相关性秘密的安全性)......
为了适应传感器网络的发展,应对传感器节点计算能力和存储资源的限制,基于无线传感器网的WSW(Wireless Sensor Whisper,无线传感耳语算......
对的格值模型,取其论域A的幂集S(A)的一个子集q及A中一组元素,把(Q)中公式Qx(x,)在(,q)中处的值定义为,则(,q)就构成(Q)的一个格值弱模型.本文对(Q)的格值弱模型证明了......
信访制度是中国共产党的一种基础性执政资源,也是党的群众路线原则在社会治理领域的体现和展开,其在不同的历史时期发挥了独特的社......