PREORDER

作品数：3被引量：1H指数：1
导出分析报告
相关期刊：《Science Bulletin》《Computer Technology and Application》《Journal of Shanghai Jiaotong university(Science)》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Recursive and Nonrecursive Traversal Algorithms for Dynamically Created Binary Trees
《Computer Technology and Application》2012年第5期374-382,共9页Robert Logozar 
The modeling of dynamical systems from a time series implemented by our DSA program introduces binary trees of height D with all leaves on the same level, and the related subtrees of height L 〈 D. These are called e-...
关键词：Binary e-trees algorithms tree traversal PREORDER inorder postorder RECURSIVE nonrecursive space-time complexity. 
Fair Preorder for Partial Fair Kripke Structures
《Journal of Shanghai Jiaotong university(Science)》2003年第1期15-18,共4页徐蔚文 陆鑫达 
National Natural Science Foundation of China( No.60 173 10 3 )
This paper discussed how to handle the fairness conditions in partial Kripke structures. The partial Kripke structures were used for partial state spaces model checking, which is a new technique to solve problems of s...
关键词：FAIRNESS Kripke structure computation  tree logic(CTL) 
PREORDER RELATIONS IN FUZZY COMPACTIFICATIONS被引量：1
《Chinese Science Bulletin》1989年第9期705-709,共5页刘应明 罗懋康 
Project supported partly by the National Natural Science Foundation of Chins.
We have proved that L-fuzzy unit interval I(L) is N-compact, and then applying fuzzy imbedding theory to the general case that the value domain is
关键词：PREORDER FUZZY COMPACTIFICATION WEAK T SPACES 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部