标题 |
书籍(章节) Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter
图上符号计算的下界:强连通分量、活性、安全性和直径
相关领域
可达性
活泼
符号计算
符号轨迹评估
计算
图形
符号数据分析
数学
计算机科学
离散数学
算法
理论计算机科学
模型检查
数学分析
|
网址 | |
DOI | |
其它 |
期刊:Society for Industrial and Applied Mathematics eBooks 作者:Krishnendu Chatterjee; Wolfgang Dvořák; Monika Henzinger; Veronika Loitzenbauer 出版日期:2018-01-01 |
求助人 | |
下载 | 该求助完结已超 24 小时,文件已从服务器自动删除,无法下载。 |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|