登录
免费注册
首页
论文
论文详情
赞
收藏
引用
分享
科研之友
微信
新浪微博
Facebook
分享链接
A memory-efficient emptiness checking algorithm
作者:Li, Yige
*
; Xie, Kanglin; Hao, Tao
来源:
Journal of Information and Computational Science
, 2006, 3(4): 803-810.
Bitstate hashing
Couvreur's algorithm
Transition based generalized biichi automaton
出版日期
2006
单位
上海交通大学
全文
全文
访问全文
相似论文
引用论文
参考文献