首页> 外文OA文献 >Stutter-Invariant Temporal Properties are Expressible Without the Next-time Operator

【2h】

Stutter-Invariant Temporal Properties are Expressible Without the Next-time Operator

机译：在没有下一次操作员的情况下，stutter-Invariant时间属性是可表达的

页面导航

著录项
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 1997
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An improved common subexpression elimination method for reducing logic operators in FIR filter implementations without increasing logic depth [J] . A.P. Vinod, Edmund Lai, Douglas L. Maskell, Integration . 2010,第1期

机译：一种改进的通用子表达式消除方法，用于在不增加逻辑深度的情况下减少FIR滤波器实现中的逻辑运算符
2. Common coupled fixed point results for operators without mixed monotone type properties and application to nonlinear integral equations [J] . Nabil Machrafi Fixexd point theory and applications . 2017,第1期

机译：无混合单调类型性质的算子的公共耦合不动点结果及其在非线性积分方程中的应用
3. Potential operators in generalized H?lder spaces on sets in quasi-metric measure spaces without the cancellation property [J] . Samko S.G. Nonlinear Analysis: An International Multidisciplinary Journal . 2013,第Null期

机译：不具抵消性质的准测度空间集上广义H spaceslder空间中的势算子
4. An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces [C] . Volker Diekert, Paul Gastin International workshop on computer science logic . 1999

机译：一个表现良好的时间逻辑，没有过去的时态运算符的Mazurkiewicz痕迹
5. Bounded operators without invariant subspaces on certain Banach spaces. [D] . Jiang, Jiaosheng. 2001

机译：在某些Banach空间上没有不变子空间的有界算子。
6. Snail1 expression in human colon cancer DLD-1 cells confers invasive properties without N-cadherin expression [O] . Shoko Tanaka, Wakako Kobayashi, Misako Haraguchi, 2016

机译：Snail1在人结肠癌DLD-1细胞中的表达可赋予无N-钙黏着蛋白表达的侵袭特性
7. An expressively complete temporal logic without past tense operators for Mazurkiewicz traces [O] . Volker Diekert, Paul Gastin 1999

机译：对于Mazurkiewicz迹线，没有过去时运算符的表达完整的时间逻辑
8. Verifying Temporal Properties without Using Temporal Logic [R] . Alpern, B., Schneider, F. B. 1985

机译：不使用时态逻辑验证时态属性

Stutter-Invariant Temporal Properties are Expressible Without the Next-time Operator

著录项

相似文献

相关主题

期刊订阅