Larsen,Kim G。;拉杜·马达尔 加权模态逻辑的完整证明系统。 (英语) Zbl 1317.68120号 西奥。计算。科学。 546, 164-175 (2014). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:60年第68季度 03B45 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{R.Mardare},Theor。计算。科学。546164--175(2014年;Zbl 1317.68120) 全文: 内政部
Pin,Jean Eric让-埃里克 Büchi序列演算中存在一阶句子的表达能力。 (英语) Zbl 1058.03038号 离散数学。 291,编号1-3,155-174(2005).MSC公司:05年3月 20立方米 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-E.Pin},离散数学。291,编号1--3,155-174(2005;Zbl 1058.03038) 全文: 内政部 哈尔