西罗·德弗洛里奥;阿尔多·弗里吉里奥 细细的红线、莫里斯主义和时间的流动。 (英语) Zbl 1477.03045号 J.逻辑语言信息。 29,第3号,307-329(2020)。MSC公司:03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{C.De Florio}和\textit{A.Frigerio},J.Logic Lang.Inf.29,No.3,307--329(2020;Zbl 1477.03045) 全文: 内政部 链接
阿曼迪普·辛格·巴蒂亚;阿杰·库马尔 线性时序逻辑和量子有限自动机的关系。 (英语) Zbl 1477.68147号 J.逻辑语言信息。 29,第2期,109-120(2020年)。MSC公司:65年第68季度 03B44号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Bhatia}和\textit{A.Kumar},J.Logic Lang.Inf.29,No.2,109-120(2020;Zbl 1477.68147) 全文: 内政部