miniKanren workshop@ICFP
miniKanren workshop@ICFPext
项目页面:http://plv.mpi-sws.org/imm/
46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019). 葡萄牙,里斯本
LPAR, EPiC Series in Computing. EasyChair
Open Innovations Association (FRUCT),2017 年第 20 届 IEEE 会议
SPbSPU Journal. Computer Science. Telecommunication and Control Systems, no. 1(236), 84–107
Programming and Computer Software, 42 (4), pp. 216-224
Lecture Notes in Computer Science(包括人工智能系列讲义和生物信息学讲义),Vol. 9609, pp. 170-185
IASTED 计算机与先进教育技术国际会议论文集,CATE 2012 pp. 112-118
KMIS 2011 - 知识管理与信息共享国际会议论文集 pp. 294-301
Lecture Notes in Computer Science(包括人工智能系列讲义和生物信息学讲义)4980 LNCS, pp. 158-170
Programming and Computer Software 37 (6), pp. 315-321
KMIS 2009 - 首届知识管理与信息共享国际会议论文集,pp. 200-205
Communications in Computer and Information Science 17 CCIS, pp. 478-489
Programming and Computer Software 34 (4), pp. 216-224
2005 年 IEEE/NASA ISoLA 利用形式化方法、验证和确认的应用研讨会论文集。Loyola College Graduate Center Columbia, Maryland, USA, P. 31-41
文档来源:Programming and Computer Software 29 (6), pp. 323-327
Lecture Notes in Computer Science(包括人工智能系列讲义和生物信息学讲义)2244 LNCS, pp. 324-327
Programming and Computer Software 25 (5), pp. 276-281