miniKanren workshop@ICFP
miniKanren workshop@ICFPext
Project page: http://plv.mpi-sws.org/imm/
46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019). Lisbon, Portugal
LPAR, EPiC Series in Computing. EasyChair
Open Innovations Association (FRUCT), 2017 20th Conference of. 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9609, pp. 170-185
Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education, CATE 2012 pp. 112-118
KMIS 2011 - Proceedings of the International Conference on Knowledge Management and Information Sharing pp. 294-301
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4980 LNCS, pp. 158-170
Programming and Computer Software 37 (6), pp. 315-321
KMIS 2009 - 1st International Conference on Knowledge Management and Information Sharing, Proceedings pp. 200-205
Communications in Computer and Information Science 17 CCIS, pp. 478-489
Programming and Computer Software 34 (4), pp. 216-224
Proceedings of IEEE/NASA ISoLA 2005 Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Loyola College Graduate Center Columbia, Maryland, USA, P. 31-41
Source of the Document Programming and Computer Software 29 (6), pp. 323-327
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2244 LNCS, pp. 324-327
Programming and Computer Software 25 (5), pp. 276-281