Index of /~tarau/research/2022

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]LongerPrologTutorial.mp4.zip21-Jul-2022 14:03 166M 
[   ]PrologTutorial.mp4.zip21-Jul-2022 19:35 135M 
[   ]iclp22_panel.mp4.zip21-Jul-2022 09:09 8.3M 
[   ]isynt.mp4.zip21-Jul-2022 09:10 34M 
[   ]isynt.pdf30-Mar-2022 18:03 234K 
[   ]isynt.pro30-Mar-2022 18:00 5.9K 
[   ]isynt_arxiv.pdf11-May-2022 13:52 202K 
[   ]nodeprop.mp4.zip21-Jul-2022 09:09 35M 
[   ]nodeprop.pdf13-May-2022 11:51 250K 
[   ]slides_ICLP22_isynt.pdf19-Jul-2022 09:05 209K 
[   ]slides_ICLP22_nodeprop.pdf17-Jul-2022 20:09 131K 
[   ]slides_ICLP22_panel.pdf19-Jul-2022 20:38 104K 
[   ]slides_prolog22.pdf01-Aug-2022 10:02 4.2M 

Apache/2.2.22 (Ubuntu) Server at www.cse.unt.edu Port 80