托尔加·居耶;米拉塞迪奥·卢,瑟里夫 二元lambda-Boolean函数对偶性的函数计算模型。 (英语) Zbl 1178.68137号 申请。数学。计算。 182,第1期,879-887(2006).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{T.Güyer}和\textit{ö.Mirasyediolu},应用。数学。计算。182,第1号,879--887(2006;Zbl 1178.68137) 全文: 内政部
米拉塞迪奥·卢,瑟里夫;托尔加·居耶 通过PROLOG的基于符号和代数计算的lambda-Boolean约简机。 (英语) Zbl 1095.68751号 申请。数学。计算。 176,第1期,65-75(2006).MSC公司:68瓦30 03B40型 68N17号 2005年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{ö.Mirasyediolu}和\textit{T.Güyer},应用。数学。计算。176,第1号,65--75(2006;Zbl 1095.68751) 全文: 内政部 链接