QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Model checking computation tree logic over finite lattices 期刊论文 THEORETICAL COMPUTER SCIENCE, 2016 Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Ma, Zhanyou 收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03 Model checking  Computation tree logic  Lattice  Weighted automata  QUANTUM LOGIC  MULTIVALUED LOGICS  AUTOMATA  TIME   Model checking fuzzy computation tree logic 期刊论文 fuzzy sets and systems, 2015 Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Ma, Zhanyou 收藏  |  浏览/下载：7/0  |  提交时间：2015/11/11 Model checking  Temporal logic  Computation tree logic  Fuzzy logic  Triangular norm  TEMPORAL LOGIC  MULTIVALUED LOGICS  RESIDUATED LATTICE  AUTOMATA  BISIMULATIONS  SYSTEMS   Smart universal multiple-valued logic gates by transferring single electrons 期刊论文 ieee transactions on nanotechnology, 2008, 卷号: 7, 期号: 4, 页码: 440-450 Zhang, WC; Wu, NJ 收藏  |  浏览/下载：78/0  |  提交时间：2010/03/08 literal gate  multiple-valued logic  single-electron logic  single-electron turnstile   Compact voltage-mode multi-valued literal gate using nanoscale ballistic MOSFETs 期刊论文 electronics letters, 2008, 卷号: 44, 期号: 16, 页码: 968-969 Zhang, WC; Wu, NJ 收藏  |  浏览/下载：82/0  |  提交时间：2010/03/08 MULTIPLE-VALUED LOGIC  IMPLEMENTATION  DESIGN