托马斯·博兰德;托本·布吕纳 基于表的混合逻辑决策过程。 (英语) 兹比尔1122.03006 J.日志。计算。 16,第6期,737-763(2006). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Bolander}和\textit{T.Braüner},J.Log。计算。16,第6号,737--763(2006;Zbl 1122.03006) 全文: DOI程序
约尔格·胡德尔梅尔 直觉命题逻辑的(O(n\;\log\;n))空间决策过程。 (英语) Zbl 0788.03010号 J.日志。计算。 3,第1期,63-75(1993).MSC公司:03B25号 2015年3月1日 03B20型 65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{J.Hudelmaier},J.Log。计算。3,编号1,63--75(1993;Zbl 0788.03010) 全文: DOI程序
配件,Melvin C。;V.Wiktor马雷克;特鲁什琴斯基,米洛斯奥 纯粹的必然逻辑。 (英语) Zbl 0819.03011号 J.日志。计算。 2,第3期,349-373(1992).MSC公司:03B45号 03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Fitting}等人,J.Log。计算。2,第3号,349--373(1992;Zbl 0819.03011) 全文: DOI程序