Accelerating Program Synthesis in miniKanren

From Henning Basold  

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: fb-video@sea.leidenuniv.nl 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.

Back