安吉洛·蒙塔纳里;阿尔贝托,Policriti 度量和分层时序逻辑的可判定性结果。 (英语) 兹比尔0858.03018 圣母院J.形式逻辑 37,第2期,260-282(1996). 审核人:D.Gruska(布拉迪斯拉发) MSC公司:03B45号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{A.Policriti},圣母院J.形式逻辑37,第2期,260--282(1996;Zbl 0858.03018) 全文: DOI程序 链接
伊迪丝·赫玛斯潘德拉 普遍性的代价。 (英语) 兹伯利0865.03032 圣母院J.形式逻辑 37,第2期,174-203(1996). 审核人:P.扬查尔(俄斯特拉发) MSC公司:2015年3月1日 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Hemaspandra},圣母院J.形式逻辑37,第2期,174--203(1996;Zbl 0865.03032) 全文: DOI程序