离散时间区间时序逻辑可满足性的判定

您当前的位置：

首页 >

文章列表页 >

离散时间区间时序逻辑可满足性的判定

学术论文 | 更新时间：2025-07-08

上一篇|下一篇

- 离散时间区间时序逻辑可满足性的判定
- On the Decidability of Satisfiability of Discrete TITL Formulae
- 朱维军，张海宾，周清雷
- 电子学报 2010年38卷第5期页码：1039-1045
- 作者机构：
  1. 西安电子科技大学计算机学院,陕西,西安,710071
  2. 郑州大学信息工程学院,河南,郑州,450052
- 作者简介：
- 基金信息：
- DOI：
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

10

浏览量

2427

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

暂无数据

相关作者

暂无数据

相关机构

暂无数据