罗伯特·德莫洛姆;路易斯·法利尼亚斯·德尔·塞罗;纳吉·奥贝德 通过完备性理论将一阶公式转换为基本公式。 (英语) Zbl 1436.03100号 J.应用。日志。 15, 130-149 (2016).MSC公司:03B35型 68T27型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Demolombe}等人,J.Appl。日志。15、130-149(2016年;Zbl 1436.03100) 全文: DOI程序
博扬·马里科维奇;佐兰·奥格尼亚诺维奇;道德,德拉甘;阿列克桑达尔·佩罗维奇 时间流同构于(ω^2)的命题线性时间逻辑。 (英语) Zbl 1328.03017号 J.应用。日志。 12,第2期,208-229(2014).MSC公司:03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{B.Marinković}等人,J.Appl。日志。12,第2号,208--229(2014;Zbl 1328.03017) 全文: DOI程序 arXiv公司
林克,塞巴斯蒂安 关于受控不确定性下饱和条件概率独立性的合理近似推理。 (英语) Zbl 1284.68551号 J.应用。日志。 11,第3期,309-327(2013).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.Link},J.应用。日志。11,第3号,309--327(2013;Zbl 1284.68551) 全文: DOI程序
阿黛尔·布胡拉;佛罗伦萨·杰克马尔 条件和约束TRS的充分完整性验证。 (英语) Zbl 1279.68228号 J.应用。日志。 10,第1期,127-143(2012).MSC公司:68问题65 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouhoula}和\textit{F.Jacquemard},J.Appl。日志。10,第1号,127--143(2012;Zbl 1279.68228) 全文: DOI程序 哈尔
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 倒置草甸和分裂草甸。 (英语) 兹比尔1251.68144 J.应用。日志。 9,第3期,203-220(2011).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。9,第3号,203--220(2011;Zbl 1251.68144) 全文: DOI程序 arXiv公司
诺里希罗·卡米德;海因里希·瓦辛 将线性时间逻辑与构造性和超一致性相结合。 (英语) Zbl 1207.03022号 J.应用。日志。 8,第1号,33-61(2010). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B44号 03B70号 03B53号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{H.Wansing},J.Appl。日志。8,编号1,33-61(2010年;Zbl 1207.03022) 全文: DOI程序
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在Maurer机器上模拟图灵机器。 (英语) 兹比尔1150.03011 J.应用。日志。 6,第1号,1-23(2008). 审核人:丹尼尔拉·马林内斯库(布拉索夫) MSC公司:03天10分 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。6,第1号,1--23(2008;Zbl 1150.03011) 全文: DOI程序 链接
罗伯特·戈德布拉特 数学模态逻辑:对其演变的看法。 (英语) Zbl 1041.03015号 J.应用。日志。 1,编号5-6,309-392(2003). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B45号 03年3月 01A60型 03-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},J.应用。日志。1,编号5-6-309-392(2003年;兹bl 1041.03015) 全文: DOI程序