苏、基尤;蒂姆·斯托克斯 的代数性质if-then-else公司以及可交换的三值检验。 (英语) Zbl 1492.68042号 国际代数计算杂志。 29,第4号,743-759(2019).MSC公司:68号30 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{K.-U.Soo}和\textit{T.Stokes},国际代数计算杂志。29,第4号,743--759(2019;Zbl 1492.68042) 全文: 内政部
Panicker,加亚特里;Krishna,K.V.公司。;巴杜里,普兰达尔 将if-then-else公理化为可能的非暂停程序和测试。 (英语) Zbl 1365.68165号 国际代数计算杂志。 27,第3号,273-297(2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Panicker}等人,国际代数计算杂志。27,第3号,273--297(2017;Zbl 1365.68165) 全文: 内政部 arXiv公司