作　　者：David Baelde ;Kaustuv Chaudhuri ;Andrew Gacek 等

出　　处：Journal of Formalized Reasoning. 2014 ;7(2):1-89.doi:10.6092/issn.1972-5787/4650

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：100489225

作　　者：Kaustuv Chaudhuri ;Nicolas Guenot ;Lutz Stra{\ss}burger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:159-173.doi:10.4230/LIPIcs.CSL.2011.159

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186845981

作　　者：Kaustuv Chaudhuri ;Stefan Hetzl ;Dale Miller

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:183-197.doi:10.4230/LIPIcs.CSL.2012.183

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846159

作　　者：Jo{\"e}lle Despeyroux ;Kaustuv Chaudhuri

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;26:150-168.doi:10.4230/LIPIcs.TYPES.2013.150

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846502

作　　者：Mary Southern ;Kaustuv Chaudhuri

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:557-569.doi:10.4230/LIPIcs.FSTTCS.2014.557

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846633

作　　者：Yuting Wang ;Kaustuv Chaudhuri

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:332-346.doi:10.4230/LIPIcs.TLCA.2015.332

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846874

作　　者：Kaustuv Chaudhuri ;Sonia Marin ;Lutz Stra{\ss}burger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:16:1-16:18.doi:10.4230/LIPIcs.FSCD.2016.16

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186847448