位置：成果数据库 > 期刊 > 期刊详情页
Primitive Recursive Real Numbers
  • ISSN号：0942-5616
  • 期刊名称：Mathematical Logic Quarterly
  • 时间：0
  • 页码：365-380
  • 语言：英文
  • 相关项目：系统规范表示与验证的认识逻辑途径
作者： Kaile Su|Qingliang Chen|Xizhong Zheng|
同期刊论文项目
系统规范表示与验证的认识逻辑途径
期刊论文 64 会议论文 33 著作 2
同项目期刊论文
SAT 问题中局部搜索法的改进
A logical framework for Identifying quality knowledge from different data sources
多主体系统时态认知规范的"On the fly"模型检测算法研究
实例化空间: 一种新的安全协议验证逻辑的语义模型
有界模型检测的优化
SET证书申请协议在SPV下的自动化
多智能体系统时态认知规范高效符
多主体系统时态认知规范的"On th
Bounded model Checking knowled
Computationally grounded model
Improving Encoding Efficiency
MCTK（认识逻辑模型检测工具）
SPV（安全协议分析器）
Verification of Multi-agent Sy
Exploiting Inference Rules to
Within-problem Learning for Ef
BDDRPA*: An Efficient BDD-base
An Extended Interpreted System
一个基于智能的 MAS 模型及其方法论
Primitive Recursive Real Numbers under different Representations
SET 证书申请协议在 SPV 下的自动化验证及改进
一个基于智能的MAS模型及其方法论
SET证书申请协议在SPV下的自动化验证及改进
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation
Knowledge structure approach t
实例化空间: 一种新的安全协议验
基于知识结构的认证协议验证
符号化模型检测CTL
多智能体系统时态认知规范的"On
Identifying quality knowledge
一个基于智能的MAS模型及其方法
Model Checking Temporal Logics
Semantic interpretation of Com
有界模型检测同步多智能体系统的
Verification of Authentication
Primitive Recursive Real Numbe
实例化空间：一种新的安全协议验证逻辑的语义模型
多主体系统时态认知规范的“On the Fly”模型检测算法研究
有界模型检测同步多智体系统的时态认知逻辑
一种基于多模式加密算法的文件保护方案
网络课程中基于Web的在线测试系统的研究与实现
New Retrieval Method Based on Relative Entropy for Language Modeling with Different Smoothing Methods