Accelerating Program Synthesis in miniKanren

From Basold H. Universiteit Leiden  

views comments
Policy
Students and employees of Leiden University may upload videos on Kaltura. Only upload videos that you made or that you are authorized to use. You must own the copyright to your video or hold permissions from the copyright holders. If you believe your copyright-protected work was posted on Kaltura without authorization, you can send an e-mail message to: [email protected] or flag the video in question. Leiden University expressly disclaims all liability for damages in any way resulting from or in connection with the use of videos on Kaltura.