阿图尔·科尔尼·奥维茨 斐波那契算法的部分正确性。 (英语) Zbl 07488869号 福尔马利兹。数学。 28,第2期,187-196(2020).MSC公司:68V20型 60年第68季度 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz},福尔马利兹。数学。28,第2号,187--196(2020;Zbl 07488869) 全文: 内政部
阿德里安·贾斯扎克 幂算法的部分正确性。 (英语) Zbl 1432.68535号 福尔马利兹。数学。 第2期第27页,189-195(2019).MSC公司:68V20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jaszczak},Formaliz(福马利兹)。数学。27,第2号,189--195(2019;Zbl 1432.68535) 全文: 内政部
亚德里安·贾兹扎克;阿图尔·科尔尼·奥维茨 阶乘算法的部分正确性。 (英语) Zbl 1432.68536号 福尔马利兹。数学。 27,第2期,181-187(2019).MSC公司:68V20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jaszczak}和\textit{A.Korniłowicz},Formaliz。数学。27,第2号,181--187(2019;Zbl 1432.68536) 全文: 内政部
阿图尔·科尔尼·奥维茨;伊万诺夫,列夫根;尼基琴科、米科拉 部分谓词的Kleene代数。 (英语) Zbl 1401.03106号 福尔马利兹。数学。 2018年11月20日第1期第26页.MSC公司:03G25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz}等人,Formaliz。数学。26,第1号,第11--20号(2018;Zbl 1401.03106) 全文: 内政部
伊万诺夫,列夫根;尼基琴科、米科拉;安德烈·克里沃拉普;阿图尔·科尔尼·奥维茨 简单命名复数值主格数据——定义和基本运算。 (英语) Zbl 1401.68200号 福尔马利兹。数学。 25,第3号,205-216(2017).MSC公司:60年第68季度 03B35型 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{I.Ivanov}等人,Formaliz。数学。25,第3号,205--216(2017;Zbl 1401.68200) 全文: 内政部