赵西顺;保罗·利伯拉托雷 默认逻辑中唯一扩展问题的复杂性。 (英语) Zbl 1025.03022号 芬丹。通知。 53,第1期,79-104(2002).MSC公司:03B70号 65年第68季度 68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhao}和\textit{P.Liberatore},Fundam。通知。53,第1号,79--104(2002;Zbl 1025.03022)
基斯·A·米德尔堡。 具有非标准定时的进程代数。 (英语) 兹比尔1050.68106 芬丹。通知。 53,第1期,55-77(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Middelburg},芬丹。通知。53,编号1,55--77(2002;Zbl 1050.68106)
乔治·乔治斯库;安德烈·波佩斯库 非交换模糊逻辑中的概念格和相似性。 (英语) Zbl 1023.03016号 芬丹。通知。 53,第1期,23-54(2002). 审核人:D.Mundici(米兰) MSC公司:03B52号 06B99年 68立方英尺 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{G.Georgescu}和\textit{A.Popescu},Fundam。通知。53,第1号,23--54(2002;Zbl 1023.03016)
斯特凡·德姆里;乌尔里克·萨特勒 信息逻辑的自动理论决策过程。 (英语) Zbl 1025.03021号 芬丹。通知。 53,第1期,1-22页(2002年).MSC公司:03B70号 03B25号 65年第68季度 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{U.S.Sattler},Fundam。通知。53,第1号,1--22(2002;Zbl 1025.03021)