达斯，阿努帕姆;玛丽安娜·吉兰多 循环证明、超序列和传递闭包逻辑。 （英语） Zbl 07628206号 Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13385, 509-528 (2022).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Das}和\textit{M.Girlando}，莱克特。注释计算。科学。13385，509--528（2022；Zbl 07628206） 全文： 内政部 arXiv公司
达斯，阿努帕姆 关于循环算术的逻辑复杂性。 （英语） Zbl 1528.03240号 日志。计算方法。科学。 16，第1期，第1号论文，39页（2020年）.MSC公司：03英尺30英寸 20层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Das}，日志。计算方法。科学。16，第1期，第1号论文，39页（2020年；Zbl 1528.03240） 全文： arXiv公司
达斯，阿努帕姆;Damien Pous （Kleene+作用）（代数+格）的非完备性证明理论。 （英语） Zbl 1528.03234号 Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第19条，第18页（2018年）。MSC公司：05年3月 03G25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Das}和\textit{D.Pous}，LIPIcs——莱布尼茨国际程序。通知。119，第19条，第18页（2018；Zbl 1528.03234） 全文： 内政部