首页> 外文OA文献 >Relating Multifunctions and Predicate Transformers through Closure Operators

【2h】

Relating Multifunctions and Predicate Transformers through Closure Operators

机译：通过闭包运算符关联多功能和谓词变换器

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Marcello Bonsangue; Joost N. Kok;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. L-fuzzy strongest postcondition predicate transformers as L-idempotent linear or affine operators between semimodules of monotonic predicates [J] . Oleh Nykyforchyn, Dusan Repovs Fuzzy sets and systems . 2012,第期

机译：L-模糊最强后置条件谓词变换器，为单调谓词半模块之间的L-幂等线性或仿射算子
2. Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language [J] . K. Keimel, A. Rosenbusch, T. Streicher Theoretical computer science . 2011,第25期

机译：祈使概率非确定性语言的直接谓词转换器局部正确语义相关
3. The closure operator with the equality predicate branching on the set of partial Boolean functions [J] . S. S. Marchenkov Discrete mathematics and applications . 2008,第4期

机译：具有相等谓词的闭包运算符在部分布尔函数集上分支
4. L-Closure Operators, L-Closure Systems and L-Closure L-Systems on Complete L-Ordered Sets [C] . Yu-Hui Liu, Ling-Xia Lu International Conference on Fuzzy Systems and Knowledge Discovery . 2010

机译：L-CLOSURE OPERALER，L-CLOSURE SYSTEMS和L-CLOSURE L-SYSTEMSTOMENT ON完整的L订购集
5. Closure operators in commutative algebra: Tight closure, phantom depth, and *-spread. [D] . Epstein, Neil M. 2005

机译：可交换代数中的闭包运算符：紧密闭包，幻像深度和*扩展。
6. Construction of Nullnorms Based on Closure and Interior Operators on Bounded Lattices [O] . Gül Deniz Çaylı -1

机译：有界格上基于闭包和内部算子的零范数的构造
7. $L$-fuzzy strongest postcondition predicate transformers as $L$-idempotent linear or affine operators between semimodules of monotonic predicates [O] . Nykyforchyn, Oleh, Repovš, Dušan 2012

机译：$ L $ - 模糊最强后置条件谓词变换器为 $ L $ - 单调半模之间的线性或仿射算子谓词
8. Relating Multifunctions and Predicate Transformers through Closure Operators [R] . Bonsangue, M., Kok, J. N. 1994

机译：通过闭包运算符关联多功能和谓词变换器

Relating Multifunctions and Predicate Transformers through Closure Operators

著录项

引文网络

相似文献

相关主题

期刊订阅