瑞秋·法拉;奥尔纳·库普弗曼 关于用算术综合规格说明。 （英语） Zbl 1440.68171号 Chatzigeorgiou，Alexander（编辑）等人，《SOFSEM 2020：计算机科学的理论与实践》。第46届信息学理论和实践当前趋势国际会议，SOFSEM 2020，利马索尔，塞浦路斯，2020年1月20日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12011161-173（2020年）。MSC公司：60年第68季度 65年第68季度 91A80 PDF格式BibTeX公司 XML格式引用 \textit{R.Faran}和\textit{O.Kupferman}，莱克特。注释计算。科学。12011，161--173（2020；Zbl 1440.68171） 全文： 内政部
阿伊拉特·哈利莫夫;奥尔纳·库普弗曼 基于寄存器的合成。 （英语） Zbl 07649933号 Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第25条，第16页（2019年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Khalimov}和\textit{O.Kupferman}，LIPIcs——莱布尼茨国际程序。通知。140，第25条，第16页（2019年；Zbl 07649933） 全文： 内政部