中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共4条，第1-4条 帮助

已选(0)清除 条数/页：   排序方式：
The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system G(L) 期刊论文
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2017, 卷号: 33, 期号: 2, 页码: 733-740
作者:  Li Wei;  Sui Yuefei;  Wang Yuhui
收藏  |  浏览/下载：43/0  |  提交时间：2019/12/12
The Belnap logic  the modality  lattice  distributivity of a deduction system  modularity  
Incremental maintenance of quotient cube based on Galois lattice 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 卷号: 19, 期号: 3, 页码: 302-308
作者:  Li, CP;  Tung, KH;  Wang, S
收藏  |  浏览/下载：77/0  |  提交时间：2019/12/16
Galois lattice  quotient cube  incremental maintenance  
Pumping lemma for quantum automata 期刊论文
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2004, 卷号: 43, 期号: 5, 页码: 1191-1217
作者:  Lu, RQ;  Zheng, H
收藏  |  浏览/下载：40/0  |  提交时间：2019/12/16
pumping lemma  generalized pumping lemma  lattice-valued quantum automata  
Lattices of quantum automata 期刊论文
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2003, 卷号: 42, 期号: 7, 页码: 1425-1449
作者:  Lu, RQ;  Zheng, H
收藏  |  浏览/下载：66/0  |  提交时间：2019/12/16
quantum automata  lattice of quantum automata  operation of quantum automata