Panicker,加亚特里;Krishna,K.V.公司。;普兰达尔·巴杜里 通过原子性和if-then-else公司. (英语) Zbl 1452.03141号 代数大学。 81,第2期,第22号论文,27页(2020年). 审核人:伊万·查伊达(Přerov) MSC公司:03G25号 08A05号 06电子75 PDF格式BibTeX公司 XML格式引用 \textit{G.Panicker}等人,代数大学。81,第2号,第22号论文,27页(2020年;Zbl 1452.03141) 全文: DOI程序 arXiv公司
Panicker,加亚特里;Krishna,K.V.公司。;普兰达尔·巴杜里 带有测试的非暂停程序的单元体。 (英语) Zbl 1400.08003号 代数大学。 79,第1号,第8号论文,第29页(2018). 审核人:朱尼斯·切鲁利斯(里加) MSC公司:08A70号 03G25号 20立方米 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Panicker}等人,代数大学。79,第1号,第8号论文,第29页(2018;兹bl 1400.08003) 全文: DOI程序
Panicker,加亚特里;Krishna,K.V.公司。;普兰达尔·巴杜里 将if-then-else公理化为可能的非暂停程序和测试。 (英语) 兹比尔1365.68165 国际代数计算杂志。 27,第3号,273-297(2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Panicker}等人,《国际代数计算》。27,第3号,273--297(2017;Zbl 1365.68165) 全文: DOI程序 arXiv公司