中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-7 of 7)

Items/Page:    Sort:
State succinctness of two-way finite automata with quantum and classical states [期刊论文]
Theoretical Computer Science, 2013-01-01, 卷号: 499, 页码: 98-112
Zheng, Shenggen (1); Qiu, Daowen (1); Gruska, Jozef (3); Li, Lvzhou (1); Mateus, Paulo (2)

 
characterizations of one-way general quantum finite automata [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 419, 页码: -
Lvzhou Li; Daowen Qiu; Xiangfu Zou; Lvjun Li; Lihua Wu; Paulo Mateus

 
symbolic model checking of finite precision timed automata [会议论文]
2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21,
Yan RJ; Li GY; Tang ZS
  |  
 
分解弱可逆有限自动机的两个结果 [期刊论文]
计算机研究与发展, 2005-01-01, 卷号: 42, 期号: 4, 页码: 690-696
王鸿吉
  |  
 
structure of weakly invertible semi-input-memory finite automata with delay 2 [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2002-01-01, 卷号: 17, 期号: 6, 页码: 682-688
Tao RJ; Chen SH
  |  
 
input-trees of finite automata and application to cryptanalysis [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2000-01-01, 卷号: 15, 期号: 4, 页码: 305-325
Tao RJ; Chen SH

 
constructing finite automata with invertibility by transformation method [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2000-01-01, 卷号: 15, 期号: 1, 页码: 10-26
Tao RJ; Chen SH

 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace