发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Cycle detection in computation tree logic

Fontaine, Gaëlle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana

期刊名称Information and Computation
作者Fontaine, Gaëlle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
卷第262卷
印刷ISSN0890-5401
文件大小522.35KB
发表时间2018-10
DOI10.1016/j.ic.2018.09.007
页码265-279