Mirasyedioğlu, Şeref; Güyer, Tolga A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG. (English) Zbl 1095.68751 Appl. Math. Comput. 176, No. 1, 65-75 (2006). MSC: 68W30 03B40 68N17 68Q05 68Q42 PDFBibTeX XMLCite \textit{Ş. Mirasyedioğlu} and \textit{T. Güyer}, Appl. Math. Comput. 176, No. 1, 65--75 (2006; Zbl 1095.68751) Full Text: DOI Link
Mirasyedioğlu, Şeref \(\lambda\)-Boolean theory. (English) Zbl 0656.03008 Int. Logic Rev. 35, 13-27 (1987). Reviewer: P.Materna MSC: 03B40 PDFBibTeX XMLCite \textit{Ş. Mirasyedioğlu}, Int. Logic Rev. 35, 13--27 (1987; Zbl 0656.03008)